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

Klaus T Aehlig

(Swansea)

Dexter Kozen: "Theory of Computation"
Lecture 15 and 16
Thursday 6th March 2008, 14:00
Robert Recorde Room
Department of Computer Science