Computability in Europe 2006
Logical Approaches to Computational Barriers

Special Session Talk:
Space bounds for infinitary computation

Speaker: Benedikt Lwe


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