TY  - BOOK
AU  - Kozen Dexter C
TI  - Theory of computation
SN  - 1-84628-297-7
U1  - 004.0151 
PY  - 2006///
CY  - London
PB  - Springer-Verlag
KW  - Computational complexity
KW  - Computer science-mathematics
ER  -