Trees, Automata, and Games

Yuri Gurevich, Leo Harrington. Trees, Automata, and Games. In Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, 5-7 May 1982, San Francisco, California, USA. pages 60-65, ACM, 1982.

Abstract

Abstract is missing.