Autor der Publikation

A Complexity Approach to Tree Algebras: the Bounded Case.

, und . ICALP, Volume 198 von LIPIcs, Seite 127:1-127:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Size-Change Abstraction and Max-Plus Automata., , und . MFCS (1), Volume 8634 von Lecture Notes in Computer Science, Seite 208-219. Springer, (2014)The Theory of Universal Graphs for Infinite Duration Games., , , und . CoRR, (2021)Optimal transformations of Muller conditions., , und . CoRR, (2020)Enforcing Trace Properties by Program Transformation., und . POPL, Seite 54-66. ACM, (2000)On the Expressiveness of Deterministic Transducers over Infinite Trees., und . STACS, Volume 2996 von Lecture Notes in Computer Science, Seite 428-439. Springer, (2004)Regular Temporal Cost Functions., , und . ICALP (2), Volume 6199 von Lecture Notes in Computer Science, Seite 563-574. Springer, (2010)Tree-Walking Automata Cannot Be Determinized., und . ICALP, Volume 3142 von Lecture Notes in Computer Science, Seite 246-256. Springer, (2004)On Reachability Problems for Low-Dimensional Matrix Semigroups., , , und . ICALP, Volume 132 von LIPIcs, Seite 44:1-44:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Complexity Approach to Tree Algebras: the Bounded Case., und . ICALP, Volume 198 von LIPIcs, Seite 127:1-127:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games., , und . ICALP, Volume 229 von LIPIcs, Seite 117:1-117:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)