Howard Straubing

1952

• Finite automata, formal logic, and circuit complexity