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