Definability in Games

DOI10.1007/978-3-642-15205-4_2zbMATH Open1287.03072OpenAlexW1604910419MaRDI QIDQ3586029

Erich Grädel

Publication date: 3 September 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_2

zbMATH Keywords

survey paperdefinabilitygraph games

Mathematics Subject Classification ID

Games involving graphs (91A43) Logic in computer science (03B70) Descriptive complexity and finite models (68Q19)

Related Items (2)

Title not available (Why is that?) ⋮ Comparing inductive and circular definitions: Parameters, complexity and games

This page was built for publication: Definability in Games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3586029)