Decision Problems for Deterministic Pushdown Automata on Infinite Words

(2014) [Contribution to a book, Contribution to a conference proceedings]

Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014
Page(s): 55-73

Authors

Selected Authors

Löding, Christof

Identifier

  • REPORT NUMBER: RWTH-CONV-211033