On the Size of Two-Way Reasonable Automata for the Liveness Problem

Developments in Language Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21500-6_9 ◽

2015 ◽

pp. 120-131 ◽

Author(s):

Maria Paola Bianchi ◽

Juraj Hromkovič ◽

Ivan Kováč

Download Full-text