April 2016 Archives by subject

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

Starting: Tue Apr 19 22:30:26 CEST 2016
Ending: Fri Apr 29 19:04:39 CEST 2016
Messages: 6

• [Proof Complexity] a preprint   Jan Krajicek
• [Proof Complexity] a preprint   Jan Krajicek
• [Proof Complexity] Call for presentation of 'International Workshop on Graph Structure and Satisfiability Testing' colocated with SAT 2016   Massimo Lauria
• [Proof Complexity] Call for presentation of 'International Workshop on Graph Structure and Satisfiability Testing' colocated with SAT 2016   Massimo Lauria
• [Proof Complexity] Lecturer in Logic at Leeds   Olaf Beyersdorff
• [Proof Complexity] paper   Emil Jerabek

Last message date: Fri Apr 29 19:04:39 CEST 2016
Archived on: Fri Apr 29 19:04:43 CEST 2016

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