The halting problem is almost always decidable.

Publication Type:

Journal Article

Source:

Notre Dame Journal of Formal Logic, Volume 47, Issue 4, p.515-524 (2006)

Last edited by on Sun, 08/26/2007 - 22:53