Straubing, Howard,

Finite automata, formal logic, and circuit complexity - Boston : Birkhauser, ©1994. - xii, 226 p. : ill. ; 25 cm (Hardbound) - Progress in Theoretical Computer science ; .

Includes index,

9780817637194

Computational complexity Computer science--Mathematics Robots Machine theory Mathematics Computer science

511.3 / STR / B