From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Lectures Year : 2021

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

Abstract

These are the slides and lecture notes for a 5x90min course given online via Zoom at ESSLLI 2021.
Fichier principal
Vignette du fichier
full.pdf (5.51 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03316571 , version 1 (06-08-2021)

Identifiers

  • HAL Id : hal-03316571 , version 1

Cite

Willem Heijltjes, Lutz Strassburger. From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem. École thématique. From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem, Utrecht / Virtual, Netherlands. 2021. ⟨hal-03316571⟩
192 View
86 Download

Share

Gmail Facebook Twitter LinkedIn More