Automata, Formal Languages and Complexity
Undecidability

Jörg Endrullis
Vrije Universiteit Amsterdam