Finite automata, formal logic, and circuit complexity
By: Howard Straubing.
Series: Progress in theoretical computer science
Publisher: Birkhäuser
Published: 1994
Place of publication: Boston
Language: eng
Number of pages: 226
Subjects: Computer science -- Mathematics.; Automata.; Logic, Symbolic and mathematical.; Computational complexity.
Notes: Includes bibliographical references (p. 217-222) and index.