Non-Erasing Turing Machines: A New Frontier Between a Decidable Halting Problem and Universality.

Maurice Margenstern

Browse the full LATIN paper archive.