Games on Strings with a Limited Order Relation
From MaRDI portal
Publication:3605528
DOI10.1007/978-3-540-92687-0_12zbMath1211.03050MaRDI 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
03C13: Model theory of finite structures
03C07: Basic properties of first-order languages and structures
Related Items
On distinguishing sets of structures by first-order sentences of minimal quantifier rank, Games on Strings with a Limited Order Relation
Cites Work
- Unnamed Item
- 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