On the Complexity of Undecidable Problems in Automata Theory

Juris Hartmanis

Browse the full FOCS paper archive.