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

Context-Free Languages over Infinite Alphabets., und . Acta Inf., 35 (3): 245-267 (1998)Pushdown automata with cancellation and commutation-augmented pregroups grammars., und . LATA, Report 35/07, Seite 7-26. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, (2007)Preface., und . Ann. Math. Artif. Intell., 53 (1-4): 1-3 (2008)A note on the emptiness problem for alternating finite-memory automata., , und . Theor. Comput. Sci., (2014)Default theories over monadic languages., und . Theor. Comput. Sci., 364 (2): 241-253 (2006)Finite Automata on Directed Graphs., und . J. Comput. Syst. Sci., 44 (3): 425-446 (1992)Calculi for Many-Valued Logics., und . Logica Universalis, 15 (2): 193-226 (2021)CSL 2008 special issue., und . ACM Trans. Comput. Log., 11 (4): 21:1 (2010)Extending Free Pregroups with Lower Bounds., , , und . Stud Logica, 95 (3): 417-441 (2010)Invariance Under Stuttering in a Temporal Logic without the Üntil" Operator.. Fundam. Informaticae, 82 (1-2): 127-140 (2008)