June 2017 Archives by author

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

Starting: Mon Jun 5 09:16:47 CEST 2017
Ending: Thu Jun 22 00:20:06 CEST 2017
Messages: 3

• [Proof Complexity] Workshop on the occasion of Samuel R Buss’ 60th birthday   Arnold Beckmann
• [Proof Complexity] A strong alternative to weak arithmetics (fwd)   Jan Krajicek
• [Proof Complexity] postdoc position   Jan Krajicek

Last message date: Thu Jun 22 00:20:06 CEST 2017
Archived on: Thu Jun 22 00:20:13 CEST 2017

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