Decision Problems for Deterministic Pushdown Automata on Infinite Words

• 期刊名称Electronic Proceedings in Theoretical Computer Science
• 作者Löding, Christof
• 卷第151卷
• 电子ISSN2075-2180
• 文件大小178.33KB
• 发表时间2014-5-21
• DOI10.4204/EPTCS.151.4
• 页码55-73