Conferences
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  

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
A. A. Razborov
  
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024