TY  - BOOK
AU  - KOZEN, DEXTER C.
TI  - AUTOMATA AND COMPUTABILITY
SN  - 978-1-4612-7309-7
PY  - 1997///
CY  - NEW YORK
PB  - SPRINGER
KW  - 1. MACHINE THEORY. 2. COMPUTABLE FUNCTIONS
N1  - INCLUDES BIBLIOGRAPHICAL REFERENCES AND INDEX
ER  -