The computational strengths of α-tape infinite time Turing machines

Benjamin G. Rin. The computational strengths of α-tape infinite time Turing machines. Annals of Pure and Applied Logic, 165(9):1501-1511, 2014. [doi]

Abstract

Abstract is missing.