Game Quantification on Automatic Structures and Hierarchical Model Checking Games

DOI10.1007/11874683_27zbMath1225.68119OpenAlexW1526992749MaRDI QIDQ3613353

Łukasz Kaiser

Publication date: 12 March 2009

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

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

Mathematics Subject Classification ID

Games involving graphs (91A43) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Infinite games with finite knowledge gaps, Strategy logic