Actions
  • share
Powered by OpenAIRE Research Graph
See an issue? Give us feedback
share
auto_awesome_motion View all 4 versions
Other 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

[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Related Organizations
Powered by OpenAIRE Research Graph
See an issue? Give us feedback
Related to Research communities
COVID-19
more