TY  - GEN
AU  - Lewis,Henry R.
AU  - Papadimitriou, Christos H.
TI  - Elements of the theory of computation
U1  - 511 
PY  - 2010///
CY  - New Delhi
PB  - PHI Learning
KW  - Machine theory; Computational complexity; Logic, Symbolic and mathematical; Formal languages
ER  -