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 |
|
|
September 5, 2001 (Wed) |
|
1. |
Proof Complexity of pigeonhole principles A. A. Razborov September 5, 2001 09:00, Créteil
|
|
|
|
|
|