Analyse de dépendances et correction des réseaux de preuve

Marc Bagnol 1 Amina Doumane 2 Alexis Saurin 2, 3
3 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01110338
Contributor : Alexis Saurin <>
Submitted on : Tuesday, January 27, 2015 - 10:41:24 PM
Last modification on : Friday, January 4, 2019 - 5:33:25 PM

Identifiers

  • HAL Id : hal-01110338, version 1

Collections

Citation

Marc Bagnol, Amina Doumane, Alexis Saurin. Analyse de dépendances et correction des réseaux de preuve. JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. ⟨hal-01110338⟩

Share

Metrics

Record views

172