Autor der Publikation

Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference.

, , und . CoRR, (2014)

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

Parallel Evaluation of Multi-Semi-Joins., , , und . Proc. VLDB Endow., 9 (10): 732-743 (2016)Subsequence versus substring constraints in sequence pattern languages., , und . Acta Informatica, 58 (1-2): 35-56 (2021)Tree Automata over Infinite Alphabets., und . Pillars of Computer Science, Volume 4800 von Lecture Notes in Computer Science, Seite 386-423. Springer, (2008)Regular Expressions for Languages over Infinite Alphabets., und . Fundam. Informaticae, 69 (3): 301-318 (2006)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)Distributed Streaming with Finite Memory., , , und . ICDT, Volume 31 von LIPIcs, Seite 324-341. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)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)Reducing NEXP-complete problems to DQBF., , , und . FMCAD, Seite 199-204. IEEE, (2022)