Computability in Europe 2006
Logical Approaches to Computational Barriers
Special Session Talk:
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|