Searching for "Ising Games." – sorted by Relevance.
-
Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïsé Games
- the standard first order EhrenfeuchtFra is'e game. With the use of Theorem 3 it is easy to prove the Lemma
- Cited by 5 (2 self) – Add To MetaCart

