March 2013 Archives by subject

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

Starting: Tue Mar 12 16:33:06 CET 2013
Ending: Sun Mar 31 05:27:38 CEST 2013
Messages: 5

• [Proof Complexity] A note on semantic vs syntactic cutting planes   Massimo Lauria
• [Proof Complexity] CiE 2013: Call for Informal Presentations   CiE Conference Series
• [Proof Complexity] New preprint "The Complexity of Proving that a Graph is Ramsey"   Massimo Lauria
• [Proof Complexity] PhD positions at Middlesex University, London.   Barnaby Martin
• [Proof Complexity] postdoc position in the Mathematical Institute in Prague   Pavel Pudlak

Last message date: Sun Mar 31 05:27:38 CEST 2013
Archived on: Sun Mar 31 05:27:55 CEST 2013

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