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

Maurice Margenstern

Browse the full FCT paper archive.