The Decidability of the Halting Problem

Ulisses Ferreira. The Decidability of the Halting Problem. In Hamid R. Arabnia, George A. Gravvanis, editors, Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas Nevada, USA. pages 180-183, CSREA Press, 2009.

Abstract

Abstract is missing.