Decision Problems for Deterministic Pushdown Automata on Infinite Words
Löding, Christof
(2014)
Contribution to a book, Contribution to a conference proceedings
In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014
Page(s)/Article-Nr.: 55-73
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-211033