TY  - BOOK
AU  - Khoussainov, Bakhadyr
AU  - Nerode, Anil
TI  - Automata theory and its applications
SN  - 120000386727
U1  - 005.131 
PY  - 2001///
CY  - , Boston
PB  - Birkhauser
KW  - Symbolic logic
ER  -