Masanao Ozawa. Halting of Quantum Turing Machines. In Cristian Calude, Michael J. Dinneen, Ferdinand Peper, editors, Unconventional Models of Computation, Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings. Volume 2509 of Lecture Notes in Computer Science, pages 58-65, Springer, 2002. [doi]
Abstract is missing.