Autor der Publikation

Lambda-Confluence Is Undecidable for Clearing Restarting Automata.

, und . CIAA, Volume 7982 von Lecture Notes in Computer Science, Seite 256-267. Springer, (2013)

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

String-Rewriting Systems., und . Texts and Monographs in Computer Science Springer, (1993)Restarting Transducers, Regular Languages, and Rational Relations., und . Theory Comput. Syst., 57 (1): 195-225 (2015)On a class of rational functions for pictures., , und . NCMA, Volume 318 von books@ocg.at, Seite 159-176. Österreichische Computer Gesellschaft, (2015)On McNaughton Families of Languages Specified by Certain Variants of Monadic String-Rewriting Systems., und . NCMA, Volume 263 von books@ocg.at, Seite 113-126. Austrian Computer Society, (2010)On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata., , und . LATA, Volume 5457 von Lecture Notes in Computer Science, Seite 660-671. Springer, (2009)Reversibility for stateless ordered RRWW-automata., und . Acta Informatica, 58 (4): 397-425 (2021)Two-Sided Strictly Locally Testable Languages., , und . Fundam. Informaticae, 180 (1-2): 29-51 (2021)On McNaughton Families of Languages That Are Specified by Some Variants of Monadic String-Rewriting Systems., und . Fundam. Informaticae, 112 (2-3): 219-238 (2011)Church-Rosser Thue systems and formal languages., , und . J. ACM, 35 (2): 324-344 (1988)Decidable Sentences for Context-Free Groups., und . STACS, Volume 480 von Lecture Notes in Computer Science, Seite 160-171. Springer, (1991)