Games on Strings with a Limited Order Relation
From MaRDI portal
Publication:3605528
DOI10.1007/978-3-540-92687-0_12zbMath1211.03050OpenAlexW1585618030MaRDI QIDQ3605528
Nicola Vitacolonna, Angelo Montanari, Elisabetta De Maria
Publication date: 24 February 2009
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-92687-0_12
Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07)
Related Items
Games on Strings with a Limited Order Relation, On distinguishing sets of structures by first-order sentences of minimal quantifier rank
Cites Work
- On winning strategies in Ehrenfeucht-Fraïssé games
- Shrinking games and local formulas
- On winning Ehrenfeucht games and monadic NP
- Games on Strings with a Limited Order Relation
- An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures
- On Complexity of Ehrenfeucht-Fraïssé Games
- Unnamed Item