Automata, Languages and Programming

DOI10.1007/b99859zbMath1098.68622OpenAlexW2505584480MaRDI QIDQ5466481

Anuj Dawar, Erich Grädel, Stephan Kreutzer

Publication date: 24 August 2005

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

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

Mathematics Subject Classification ID

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

Related Items (1)

The undecidability of iterated modal relativization

This page was built for publication: Automata, Languages and Programming