Simplification Problems for Deterministic Pushdown Automata on Infinite Words
Löding, Christof
Singapore [u.a.] : World Scient. (2015)
Journal Article
In: International journal of foundations of computer science : IJFCS
Volume: 26
Issue: 8
Page(s)/Article-Nr.: 1041-1068
Identifier
- DOI: 10.1142/S0129054115400122
- RWTH PUBLICATIONS: RWTH-CONV-210885