Computability in Europe 2006
Logical Approaches to Computational Barriers


Special Session Talk:
Space bounds for infinitary computation


Speaker: Benedikt Lwe

Abstract

In this talk, we give an overview of the complexity-theoretic results of
Deolalikar, Hamkins, Schindler and Welch for Infinite Time Turing Machines, and
discuss the basics of possible definitions for
space constraints for Hamkins-Kidder and Koepke machines.


websites: Arnold Beckmann 2006-04-20