TY  - BOOK
AU  - Rabin, Michael Oser
TI  - Automata on infinite objects and church's problem
T2  - Regional conference sers. in mathematics
AV  - QA267 R31
PY  - 1972///
CY  - Providence
PB  - Conferenceboard of the mathematical sciences
KW  - Teoría de las máquinas
KW  - Análisis combinatorio
ER  -