Games on Strings with a Limited Order Relation

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

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07)

Related Items (2)

Games on Strings with a Limited Order Relation ⋮ On distinguishing sets of structures by first-order sentences of minimal quantifier rank

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

This page was built for publication: Games on Strings with a Limited Order Relation