scientific article; zbMATH DE number 5033837
From MaRDI portal
Publication:5472876
zbMath1136.91345MaRDI QIDQ5472876
Publication date: 19 June 2006
Full work available at URL: http://iospress.metapress.com/content/n2j4vhk688l6rm0h/fulltext.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Borel complexityPushdown automatapushdown gameswinning conditionsclosure under Boolean operationscontext free \(\omega\)-languagesinfinite two-player gamesset of winning positions
Formal languages and automata (68Q45) Descriptive set theory (03E15) Games involving topology, set theory, or logic (91A44) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
