Loading [MathJax]/extensions/tex2jax.js

Backdoors for Linear Temporal Logic

Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

Autorschaft

  • Arne Meier
  • Sebastian Ordyniak
  • M. S. Ramanujan
  • Irena Schindler

Organisationseinheiten

Externe Organisationen

  • The University of Sheffield
  • Technische Universität Wien (TUW)
1 - 1 von 1Seitengröße: 20
sortieren: Beginn
Reihenfolge:

Projekte

  1. Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration

    Meier, A. (Projektleiter*in (Principal Investigator)), Mahmood, Y. (Projektmitarbeiter*in) & Schindler, I. (Projektmitarbeiter*in)

    1 Okt. 2013 → 31 Juli 2022

    Projekt: Forschung