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]
Any information missing or wrong?Report an Issue