The determinacy strength of pushdownω-languages

DOI10.1051/ITA/2017006zbMath1420.03089OpenAlexW2724853801MaRDI QIDQ5354436

Kazuyuki Tanaka, Wen-Juan Li

Publication date: 4 September 2017

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1051/ita/2017006

zbMATH Keywords

reverse mathematicsGale-Stewart games2-stack visibly pushdown automatapushdown \(\omega\)-languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Foundations of classical theories (including reverse mathematics) (03B30)

This page was built for publication: The determinacy strength of pushdownω-languages