Backtracking games and inflationary fixed points

DOI10.1016/j.tcs.2005.10.030zbMath1128.91013OpenAlexW2108755250WikidataQ58215641 ScholiaQ58215641MaRDI QIDQ817842

Anuj Dawar, Stephan Kreutzer, Erich Grädel

Publication date: 20 March 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.10.030

zbMATH Keywords

complexitymodel checkingfixed-point logics

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Borel determinacy
• Automata, logics, and infinite games. A guide to current research
• The undecidability of iterated modal relativization
• Monadic second order logic on tree-like structures
• Inflationary fixed points in modal logic

This page was built for publication: Backtracking games and inflationary fixed points