Games; string algorithms

An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures

Ehrenfeucht-Fraïssé games are commonly used as a method to measure the expressive power of a logic, but they are also a flexible tool to compare structures. To exploit such a comparison power, explicit conditions characterizing the winning strategies …