( en | de | ru )

 

Disambiguierung von "Lück, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parametrised Complexity of Satisfiability in Temporal Logic.

, , und . ACM Trans. Comput. Log., 18 (1): 1:1-1:32 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin Lück

Martin Lück

Martin Lück

Martin Lück

Sebastian Lück

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic., , , und . CSL, Volume 183 von LIPIcs, Seite 27:1-27:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Zentralbankpolitik in Italien. Europäische Hochschulschriften Lang, Frankfurt am Main u.a., (1998)On the Succinctness of Atoms of Dependency., und . CoRR, (2019)Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic.. Int. J. Found. Comput. Sci., 29 (1): 17-62 (2018)Axiomatizations for Propositional and Modal Team Logic.. CSL, Volume 62 von LIPIcs, Seite 33:1-33:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)On the Complexity of Linear Temporal Logic with Team Semantics.. CoRR, (2020)LTL Fragments are Hard for Standard Parameterisations., und . TIME, Seite 59-68. IEEE Computer Society, (2015)Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem., , und . LATA, Volume 8977 von Lecture Notes in Computer Science, Seite 549-560. Springer, (2015)The Power of the Filtration Technique for Modal Logics with Team Semantics.. CSL, Volume 82 von LIPIcs, Seite 31:1-31:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Parametrised Complexity of Satisfiability in Temporal Logic., , und . ACM Trans. Comput. Log., 18 (1): 1:1-1:32 (2017)