Hauptseminar "Theory of Computation": Complexity of Decidable Theories

Petter Kristian Kober

(Swansea)

Dexter Kozen "Theory of Computation"
Lecture 21
Thursday 1st May 2008, 14:00
Robert Recorde Room
Department of Computer Science