Interoperability between arithmetic proofs using Dedukti - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Poster De Conférence Année : 2017

Interoperability between arithmetic proofs using Dedukti

L'intéropérabilité entre des preuves d'arithmétique en utilisan Dedukti

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
poster.pdf (1022.03 Ko) Télécharger le fichier
presentation.pdf (139.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

François Thiré  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 22 novembre 2018-09:58:11

Dernière modification le : vendredi 24 mars 2023-14:53:06

Archivage à long terme le : samedi 23 février 2019-12:19:40

Télécharger pour visualiser

Dates et versions

hal-01668246 , version 1 (22-11-2018)

Identifiants

  • HAL Id : hal-01668246 , version 1

Citer

Gilles Dowek, Stéphane Graham-Lengrand, François Thiré. Interoperability between arithmetic proofs using Dedukti. International School On Rewriting 2017, Jul 2017, Eindhoven, Netherlands. ⟨hal-01668246⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA ENS-CACHAN LIX X-LIX X-DEP-INFO INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE
74 Consultations
147 Téléchargements

Partager

Gmail Facebook X LinkedIn More