Higher type recursion in Infinite Time Turing Machines

27.06.2001 15:00 - 16:30

P. Welch (U Wien)

Organiser:

KGRC

Location:
SR 101, 2. St., Währinger Str. 25