Regularity Problems for Weak Pushdown ω-Automata and Games

Mathematical Foundations of Computer Science 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32589-2_66 ◽

2012 ◽

pp. 764-776 ◽

Author(s):

Christof Löding ◽

Stefan Repke

Download Full-text