Finite automata, formal logic, and circuit complexity - Straubing, Howard, 1952- (Boston, MA. : Birkhauser, 1994)
Includes bibliographical references (p.217-222) and index
Keywords: Computer science -- Mathematics; Automata; Logic, Symbolic and mathematical; Computational complexity