TY  - BOOK
AU  - Rabin Michael
TI  - Automata on infinite objects and church's problem
U1  - 510 
PY  - 1972///
CY  - Providence
PB  - A M S
KW  - Automata theory
KW  - Church' problem
KW  - Infinite object
ER  -