International Workshop on Logic and Complexity in Computer Science (LCCS'2001)

КОНФЕРЕНЦИИ

International Workshop on Logic and Complexity in Computer Science (LCCS'2001)
(3–5 сентября 2001 г., Créteil, Франция)

International Workshop on Logic and Complexity in Computer Science (LCCS'2001), Créteil, 3–5 сентября 2001 г.

Proof Complexity of pigeonhole principles A. A. Razborov 5 сентября 2001 г. 09:00 Créteil