Proof complexity
Bounded Reverse Mathematics (Stephen Cook / University of Toronto)  의 1 번째 Windows Media 동영상입니다.
Sherali-Adams Relaxations and Indistinguishability in Counting Logics (Albert Atserias / Universitat Politecnica de Catalunya)  의 1 번째 Windows Media 동영상입니다.
Back to top of page