October 2012 Archives by date

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

Starting: Tue Oct 16 01:01:06 CEST 2012
Ending: Mon Oct 22 17:39:09 CEST 2012
Messages: 3

• [Proof Complexity] Computability in Europe 2013: The Nature of Computation   CiE Conference Series
• [Proof Complexity] Paper announcement: Space Complexity in Polynomial Calculus   Jakob Nordstrom
• [Proof Complexity] list archives   Emil Jerabek

Last message date: Mon Oct 22 17:39:09 CEST 2012
Archived on: Mon Oct 22 17:39:13 CEST 2012

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