Decidability and Undecidability of the Halting Problem on Turing Machines, a Survey.

Maurice Margenstern

Browse the full LFCS paper archive.