The Isaac Newton Institute for Mathematical Sciences
LAAw04 - New Directions in Proof Complexity
Beckmann, 2006-04-10: Uniform proof complexity
[no_frames] [help] [search]
Multimedia
presentation material as:
[Adobe PDF 144kB]
Sound
entire talk as:
[RealAudio 11MB]
[MP3 7MB]
Pictures
