27.06.2001 15:00
Higher type recursion in Infinite Time Turing Machines
19.06.2001 15:00
P not= NP for infinite time Turing machines.
12.06.2001 15:00
