November 2014 Archives by author

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

Starting: Tue Nov 4 10:58:16 CET 2014
Ending: Thu Nov 27 02:32:18 CET 2014
Messages: 5

• [Proof Complexity] New paper   Ilario Bonacina
• [Proof Complexity] RDP 2015 Last Call for Workshops   Aleksy Schubert
• [Proof Complexity] New paper   Neil Thapen
• [Proof Complexity] Doctoral Program on Logical Methods in Computer Science (LogiCS)   list-announcer at dbai.tuwien.ac.at
• [Proof Complexity] [Preprint] Consistency proof of a feasible arithmetic inside a bounded arithmetic   山形賴之

Last message date: Thu Nov 27 02:32:18 CET 2014
Archived on: Thu Nov 27 02:32:49 CET 2014

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