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 Accéder directement au contenu
Cours Année : 2021

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03316571 , version 1

Citer

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⟩
203 Consultations
102 Téléchargements

Partager

Gmail Facebook X LinkedIn More