Larry Joseph Stockmeyer

• The complexity of decision problems in automata theory and logic