Gurevich-Harrington s Games Defined by Finite Automata

Alexander Yakhnis, Vladimir Yakhnis. Gurevich-Harrington s Games Defined by Finite Automata. Annals of Pure and Applied Logic, 62(3):265-294, 1993.

Abstract

Abstract is missing.