Ehrenfeucht-Fraïssé games; optimal strategies; complexity

In this paper, we show how Ehrenfeucht-Fraïssé games can be successfully exploited to compare (finite) strings. More precisely, we give necessary and sufficient conditions for Spoiler/Duplicator to win games played on finite structures with a limited …