Regularity Problems for Weak Pushdown ω-Automata and Games
Löding, Christof; Repke, Stefan
Berlin : Springer (2012)
Contribution to a book, Contribution to a conference proceedings
In: Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27 - 31, 2012 ; proceedings / Branislav Rovan ... (eds.)
Page(s)/Article-Nr.: 764-776
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-204223