Games on Trees and Syntactical Complexity of Formulas
From MaRDI portal
Publication:5436997
DOI10.1093/jigpal/jzm051zbMath1132.03015MaRDI QIDQ5436997
Michał Krynicki, Jose Maria Turull Torres
Publication date: 18 January 2008
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzm051
68P15: Database theory
91A43: Games involving graphs
03C13: Model theory of finite structures
03C07: Basic properties of first-order languages and structures