Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

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 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net