Hauptseminar "Theory of Computation": IP = PSPACE, part 2

Klaus T Aehlig

(Swansea)

Dexter Kozen "Theory of Computation"
Lecture 17
Thursday 24th April 2008, 14:00
Robert Recorde Room
Department of Computer Science