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

Strictly Deterministic CD-Systems of Restarting Automata., und . FCT, Volume 4639 von Lecture Notes in Computer Science, Seite 424-434. Springer, (2007)Weighted Restarting Automata and Pushdown Relations., , und . CAI, Volume 9270 von Lecture Notes in Computer Science, Seite 196-207. Springer, (2015)A Complete Characterization of Repetitive Morphisms over the Two-Letter Alphabet., , und . COCOON, Volume 1276 von Lecture Notes in Computer Science, Seite 393-402. Springer, (1997)Deleting Deterministic Restarting Automata with Two Windows., und . DLT, Volume 10396 von Lecture Notes in Computer Science, Seite 272-283. Springer, (2017)On the Gap-Complexity of Simple RL-Automata., , und . Developments in Language Theory, Volume 4036 von Lecture Notes in Computer Science, Seite 83-94. Springer, (2006)On the Complexity of 2-Monotone Restarting Automata., , , und . Developments in Language Theory, Volume 3340 von Lecture Notes in Computer Science, Seite 237-248. Springer, (2004)Learning Analysis by Reduction from Positive Data., , und . ICGI, Volume 4201 von Lecture Notes in Computer Science, Seite 125-136. Springer, (2006)Growing Context-Sensitive Languages and Church-Rosser Languages., und . STACS, Volume 900 von Lecture Notes in Computer Science, Seite 313-324. Springer, (1995)A Characterization of the Context-Free Languages by Stateless Ordered Restart-Delete Automata.. SOFSEM, Volume 12011 von Lecture Notes in Computer Science, Seite 39-50. Springer, (2020)Some classes of rational functions for pictures., , und . RAIRO Theor. Informatics Appl., 50 (4): 351-369 (2016)