Howard Straubing

• Finite Automata, Formal Logic, and Circuit Complexity