June 2013 Archives by author

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

Starting: Sun Jun 2 08:19:48 CEST 2013
Ending: Thu Jun 20 21:22:10 CEST 2013
Messages: 5

• [Proof Complexity] Book announcement: ALAN TURING - His Work and Impact   S B Cooper
• [Proof Complexity] Survey paper on proof complexity   Jakob Nordstrom
• [Proof Complexity] new paper   Pavel Pudlak
• [Proof Complexity] FLoC 2014 Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna, Austria)   Aleksy Schubert
• [Proof Complexity] CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)   Aleksy Schubert

Last message date: Thu Jun 20 21:22:10 CEST 2013
Archived on: Thu Jun 20 21:22:25 CEST 2013

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