TY  - BOOK
AU  - Straubing, Howard.
TI  - Finite Automata, Formal Logic, and Circuit Complexity
SN  - 0 8176 3719 2
CY  - Boston
KW  - Computer Science-Mathematics
KW  - Automata
KW  - Logic, Symbolic and mathematical
KW  - Computational complexity
ER  -