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

CONFERENCES

International Workshop on Logic and Complexity in Computer Science (LCCS'2001)
(September 3–5, 2001, Créteil, France)

International Workshop on Logic and Complexity in Computer Science (LCCS'2001), Créteil, September 3–5, 2001

Proof Complexity of pigeonhole principles A. A. Razborov September 5, 2001 09:00 Créteil