Author of the publication

String-to-String Interpretations With Polynomial-Size Output.

, , and . ICALP, volume 132 of LIPIcs, page 106:1-106:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Undecidability of MSO+ültimately periodic"., , , , and . CoRR, (2018)Tree-Walking Automata Cannot Be Determinized., and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 246-256. Springer, (2004)Reachability in Unions of Commutative Rewriting Systems Is Decidable., and . STACS, volume 4393 of Lecture Notes in Computer Science, page 622-633. Springer, (2007)Wreath Products of Forest Algebras, with Applications to Tree Logics, , and . Logical Methods in Computer Science, (2012)Forest Expressions.. CSL, volume 4646 of Lecture Notes in Computer Science, page 146-160. Springer, (2007)Two-Way Alternating Automata and Finite Models.. ICALP, volume 2380 of Lecture Notes in Computer Science, page 833-844. Springer, (2002)Automata Column.. ACM SIGLOG News, 6 (1): 4 (2019)Automata theory in nominal sets., , and . Log. Methods Comput. Sci., (2014)Automata column.. ACM SIGLOG News, 2 (2): 3 (2015)Automata column.. ACM SIGLOG News, 4 (2): 3 (2017)