Skip to Main content Skip to Navigation
Lectures

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

Willem Heijltjes 1 Lutz Strassburger 2 
2 PARTOUT - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : These are the slides and lecture notes for a 5x90min course given online via Zoom at ESSLLI 2021.
Document type :
Lectures
Complete list of metadata

https://hal.inria.fr/hal-03316571
Contributor : Lutz Straßburger Connect in order to contact the contributor
Submitted on : Friday, August 6, 2021 - 4:46:15 PM
Last modification on : Friday, February 4, 2022 - 3:11:21 AM
Long-term archiving on: : Sunday, November 7, 2021 - 6:31:01 PM

File

full.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03316571, version 1

Citation

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⟩

Share

Metrics

Record views

178

Files downloads

69