September 2014 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Wed Sep 10 22:21:57 CEST 2014
Ending: Thu Sep 25 23:01:01 CEST 2014
Messages: 6

• [Proof Complexity] CiE 2015: Evolving Computability - Bucharest, 29/6-3/7/2015   CiE Conference Series
• [Proof Complexity] COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29-July 3   S B Cooper
• [Proof Complexity] new preprint on QBF proof complexity   Olaf Beyersdorff
• [Proof Complexity] Paper announcement: From Small Space to Small Width in Resolution   Jakob Nordstrom
• [Proof Complexity] Paper announcement: Narrow Proofs May Be Maximally Long   Jakob Nordstrom
• [Proof Complexity] Paper available (Quasipoly size Frege proofs of PHP)   Sam Buss

Last message date: Thu Sep 25 23:01:01 CEST 2014
Archived on: Thu Sep 25 23:01:40 CEST 2014

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...