Autor der Publikation

Earliest Query Answering for Deterministic Nested Word Automata.

, , und . FCT, Volume 5699 von Lecture Notes in Computer Science, Seite 121-132. Springer, (2009)

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

Reduction de la non-linearite des morphismes d'arbres Recognizable tree-languages and non-linear morphisms., , und . Theor. Comput. Sci., 281 (1-2): 219-233 (2002)Grid structures and undecidable constraint theories., , , und . Theor. Comput. Sci., 258 (1-2): 453-490 (2001)Composing Monadic Queries in Trees., , , und . PLAN-X, Seite 61-70. BRICS, Department of Computer Science, University of Aarhus, (2006)Metrical an Ordered Properties of Powerdomains., , und . FCT, Volume 158 von Lecture Notes in Computer Science, Seite 465-474. Springer, (1983)Earliest Query Answering for Deterministic Nested Word Automata., , und . FCT, Volume 5699 von Lecture Notes in Computer Science, Seite 121-132. Springer, (2009)Fair Termination is Decidable for Ground Systems.. RTA, Volume 355 von Lecture Notes in Computer Science, Seite 462-476. Springer, (1989)Structural complexity of classes of tree languages., und . Tree Automata and Languages, North-Holland, (1992)Co-definite Set Constraints with Membership Expressions., , und . IJCSLP, Seite 25-39. MIT Press, (1998)The Recognizability Problem for Tree Automata with Comparisons between Brothers., , und . FoSSaCS, Volume 1578 von Lecture Notes in Computer Science, Seite 150-164. Springer, (1999)Homomorphisms and Concurrent Term Rewriting., , und . FCT, Volume 1684 von Lecture Notes in Computer Science, Seite 475-487. Springer, (1999)