Regularity Problems for Weak Pushdown ω-Automata and Games.

Christof Lding, Stefan Repke

Browse the full MFCS paper archive.