Automata, Languages and Programming

DOI10.1007/11523468zbMath1081.68054OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716767

Igor Walukiewicz, Paweł Urzyczyn, Teodor Knapik, Damian Niwinski

Publication date: 10 January 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11523468

zbMATH Keywords

verification\(\mu\)-calculusdecidabilitymodel-checkingmonadic second-order theoryparity gamehigher-order pushdown automatahyperalgebraic treehigher-order grammar

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

Related Items

Krivine machines and higher-order schemes, Krivine Machines and Higher-Order Schemes, On first-order logic and CPDA graphs, An Automata-Theoretic Approach to Infinite-State Systems, Unnamed Item, Games on Higher Order Multi-stack Pushdown Systems, Domains for Higher-Order Games