TY  - BOOK
AU  - Hartmanis, Juris
TI  - Feasible computations and provable complexity properties
SN  - 78014744
U1  - 519.4 HAR 
PY  - 1989///
CY  - Philadelphia, PA
PB  - Society for Industrial and Applied Mathematics
KW  - Computational complexity
KW  - Formal languages
KW  - Machine theory
N1  - Bibliography: p. 61-62
ER  -