April 2019 Archives by subject

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

Starting: Tue Apr 2 11:01:27 CEST 2019
Ending: Tue Apr 16 15:59:40 CEST 2019
Messages: 5

• [Proof Complexity] [New Draft] Separation of bounded arithmetic using a consistency statement   Yoriyuki Yamagata
• [Proof Complexity] Call for Participation: CSR-2019   Edward A. Hirsch
• [Proof Complexity] CFP: ALGOSENSORS 2019 (deadline June 3)   Theofanis Raptis
• [Proof Complexity] PhD student position on the algorithms aspects of automated theorem proving - University of Bergen (Norway)   Mateus de Oliveira Oliveira
• [Proof Complexity] Preprint   thapen

Last message date: Tue Apr 16 15:59:40 CEST 2019
Archived on: Tue Apr 16 15:59:49 CEST 2019

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