A Hierarchy of Fast Reversible Turing Machines

Holger Bock Axelsen, Sebastian Jakobi, Martin Kutrib, Andreas Malcher. A Hierarchy of Fast Reversible Turing Machines. In Jean Krivine, Jean-Bernard Stefani, editors, Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Volume 9138 of Lecture Notes in Computer Science, pages 29-44, Springer, 2015. [doi]

Abstract

Abstract is missing.