research product . Lecture . 2021

From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem

Heijltjes, Willem; Straßburger, Lutz;
English
  • Published: 02 Aug 2021
  • Publisher: HAL CCSD
  • Country: France
Abstract
École thématique; These are the slides and lecture notes for a 5x90min course given online via Zoom at ESSLLI 2021. The summer school was planned to be held in Utrecht, but due the the Covid-19 crises it has been held online via Zoom.
Subjects
free text keywords: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Related Organizations
View more
Communities
Communities with gateway
OpenAIRE Connect image
Download fromView all 4 versions
null
Hyper Article en Ligne; INRIA a CCSD electronic archive server; Mémoires en Sciences de l'Information et de la Communication; Hal-Diderot
Lecture . 2021
Providers: Hyper Article en Ligne; INRIA a CCSD electronic archive server; Mémoires en Sciences de l'Information et de la Communication; Hal-Diderot
graphPowered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue