Lambda-Confluence Is Undecidable for Clearing Restarting Automata

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39274-0_23 ◽

2013 ◽

pp. 256-267

Author(s):

František Mráz ◽

Friedrich Otto

Download Full-text