PDMI TUM State University St. Petersburg
Steklov Institute St. Petersburg Technische Universität München State University St. Petersburg

Joint Advanced Student School (JASS)

Course 1: Proofs and Computers

St. Petersburg - Sunday, April 2 through Wednesday, April 12, 2006

Dmitry Antipov

Toda's Theorem, Part I


Dmitry Antipov Presentation:
Toda's Theorem, I [PDF]
Paper:
Toda's Theorem, I [PDF]