Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems

Philip D. Welch. Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems. Theoretical Computer Science, 410(4-5):426-442, 2009. [doi]

Abstract

Abstract is missing.