Autor der Publikation

Classes of Tree Homomorphisms with Decidable Preservation of Regularity.

, , und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 127-141. 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

Composing Monadic Queries in Trees., , , und . PLAN-X, Seite 61-70. BRICS, Department of Computer Science, University of Aarhus, (2006)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)Structural complexity of classes of tree languages., und . Tree Automata and Languages, North-Holland, (1992)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)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)