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
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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
full.pdf (5.51 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Lutz Straßburger  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03316571

Soumis le : vendredi 6 août 2021-16:46:15

Dernière modification le : jeudi 1 août 2024-17:08:02

Archivage à long terme le : dimanche 7 novembre 2021-18:31:01

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 IP_PARIS GS-COMPUTER-SCIENCE
232 Consultations
126 Téléchargements

Partager

More