Regularity Problems for Weak Pushdown ω-Automata and Games

DOI10.1007/978-3-642-32589-2_66zbMath1365.68309OpenAlexW128496866MaRDI QIDQ2912775

Christof Löding, Stefan Repke

Publication date: 25 September 2012

Published in: Mathematical Foundations of Computer Science 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32589-2_66

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (1)

Unnamed Item

This page was built for publication: Regularity Problems for Weak Pushdown ω-Automata and Games