September 2015 Archives by thread

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

Starting: Fri Sep 11 08:55:20 CEST 2015
Ending: Fri Sep 25 05:29:46 CEST 2015
Messages: 3

• [Proof Complexity] a preprint   Jan Krajicek
• [Proof Complexity] CFP Workshop on Efficient and Natural Proof Systems, Bath, 14-16 December, 2015.   Anupam Das
• [Proof Complexity] AAAI-16 Workshop on Beyond NP   Jakob Nordström

Last message date: Fri Sep 25 05:29:46 CEST 2015
Archived on: Fri Sep 25 05:29:57 CEST 2015

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