June 2016 Archives by subject

• Messages sorted by: [ thread ] [ 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: [ thread ] [ author ] [ date ]
• More info on this list...