Loading [MathJax]/extensions/tex2jax.js

Backdoors for Linear Temporal Logic

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Authors

  • Arne Meier
  • Sebastian Ordyniak
  • Ramanujan Sridharan
  • Irena Schindler

Research Organisations

External Research Organisations

  • TU Wien (TUW)
Plum Print visual indicator of research metrics
  • Citations
    • Citation Indexes: 2
see details
1 - 1 out of 1Page size: 20
Sort by: Start date
Order:

Projects

  1. Nonclassical logics: parametrised and enumeration complexity

    Meier, A. (Principal Investigator), Mahmood, Y. (Project staff) & Schindler, I. (Project staff)

    1 Oct 2013 → 31 Jul 2022

    Project: Research