Rabin, Michael O. Automata on infinite objects and Church’s problem. (English) Zbl 0315.02037 Conference Board of the Mathematical Sciences. Regional Conference Series in Mathematics. No. 13. Providence, R. I.: American Mathematical Society (AMS). 22 p. (1972). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 57 Documents MSC: 03D05 Automata and formal grammars in connection with logical questions 68Q45 Formal languages and automata 03B25 Decidability of theories and sets of sentences PDF BibTeX XML OpenURL