Proof nets and cliques: towards the understanding of analytical proofs - Archive ouverte HAL
Thèse Année : 2006

Proof nets and cliques: towards the understanding of analytical proofs

Réseaux de preuves et cliques: vers une compréhension des preuves analytiques

Michele Pagani
Laboratoire de l'Informatique du Parallélisme
École normale supérieure de Lyon
CV

Résumé

Proof nets and cliques: towards the understanding of analytical proofs
Réseaux de preuves et cliques: vers une compréhension des preuves analytiques

Domaines

Logique [math.LO] Logique en informatique [cs.LO]

Michele Pagani  : Connectez-vous pour contacter le contributeur

https://hal.science/tel-04670310

Soumis le : lundi 12 août 2024-09:27:04

Dernière modification le : jeudi 28 novembre 2024-03:22:23

Fichier non déposé

Dates et versions

tel-04670310 , version 1 (12-08-2024)

Identifiants

  • HAL Id : tel-04670310 , version 1

Citer

Michele Pagani. Proof nets and cliques: towards the understanding of analytical proofs. Logic [math.LO]. Università Roma Tre; Université de la Méditerrannée, 2006. English. ⟨NNT : ⟩. ⟨tel-04670310⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 UDL THESES-UNC
11 Consultations
0 Téléchargements

Partager

More