June 2016 Archives by thread

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

Starting: Tue Jun 7 04:20:36 CEST 2016
Ending: Tue Jun 7 23:43:58 CEST 2016
Messages: 2

• [Proof Complexity] [Revised preprint] Consistency proof of an arithmetic with substitution inside a bounded arithmetic   Yoriyuki Yamagata
• [Proof Complexity] CiE 2016: Call for Participation - Paris, 27/6-1/7/2016   CiE Conference Series

Last message date: Tue Jun 7 23:43:58 CEST 2016
Archived on: Tue Jun 7 23:43:25 CEST 2016

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