May 2013 Archives by thread

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

Starting: Sat May 4 13:10:30 CEST 2013
Ending: Thu May 16 14:06:44 CEST 2013
Messages: 3

• [Proof Complexity] New preprint   Iddo Tzameret
• [Proof Complexity] New preprint   Jan Pich
• [Proof Complexity] CiE 2013 in Milan, July 1 - 5: First Call for Participation   S B Cooper

Last message date: Thu May 16 14:06:44 CEST 2013
Archived on: Thu May 16 14:07:24 CEST 2013

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