Undecidability and Incompleteness Results in Automata Theory.

Juris Hartmanis Undecidability and Incompleteness Results in Automata Theory. 21-35 2000 conf/hcat/2000 A Half-Century of Automata Theory db/conf/hcat/hcat2000.html#Hartmanis00