October 2012 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• 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] list archives   Emil Jerabek
• [Proof Complexity] Paper announcement: Space Complexity in Polynomial Calculus   Jakob Nordstrom

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 ] [ author ] [ date ]
• More info on this list...