TY  - BOOK
AU  - Varma, G.P. Sradhi
AU  - Rao, B. Thirupathi
TI  - Theory of computation: formal languages and automata theory
SN  - 8188429945
U1  - 005.131 
PY  - 2009///
CY  - Chennai
PB  - Scitech
KW  - Mathematical logic
KW  - Symbolic logic
ER  -