Merlin Carl, Philipp Schlicht. The Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters. In Jarkko Kari, Florin Manea, Ion Petre, editors, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Volume 10307 of Lecture Notes in Computer Science, pages 198-209, Springer, 2017. [doi]
Abstract is missing.