Autor der Publikation

Tree Automata over Infinite Alphabets.

, und . Pillars of Computer Science, Volume 4800 von Lecture Notes in Computer Science, Seite 386-423. Springer, (2008)

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

Tree Automata over Infinite Alphabets., und . Pillars of Computer Science, Volume 4800 von Lecture Notes in Computer Science, Seite 386-423. Springer, (2008)Efficient reasoning about data trees via integer linear programming., , und . ICDT, Seite 18-29. ACM, (2011)Efficient reasoning about data trees via integer linear programming., , und . ACM Trans. Database Syst., 37 (3): 19:1-19:28 (2012)Two Variable Logic with Ultimately Periodic Counting., , und . ICALP, Volume 168 von LIPIcs, Seite 112:1-112:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Reducing NEXP-complete problems to DQBF., , , und . FMCAD, Seite 199-204. IEEE, (2022)On the Complexity of k-DQBF., und . SAT, Volume 271 von LIPIcs, Seite 10:1-10:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Distributed Streaming with Finite Memory., , , und . ICDT, Volume 31 von LIPIcs, Seite 324-341. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Automata for two-variable logic over trees with ordered data values. CoRR, (2012)Towards a more efficient approach for the satisfiability of two-variable logic., , und . LICS, Seite 1-13. IEEE, (2021)On Classical Decidable Logics Extended with Percentage Quantifiers and Arithmetics., , , und . FSTTCS, Volume 213 von LIPIcs, Seite 36:1-36:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)