@Inproceedings{EPTCS151.4, author = {L\"oding, Christof}, year = {2014}, title = {Decision Problems for Deterministic Pushdown Automata on Infinite Words}, editor = {\'Esik, Zolt\'an and F\"ul\"op, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automata and Formal Languages, {\rm Szeged, Hungary, May 27-29, 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {151}, publisher = {Open Publishing Association}, pages = {55-73}, doi = {10.4204/EPTCS.151.4}, }