Interoperability between arithmetic proofs using Dedukti

Type de document :
Poster
International School On Rewriting 2017, Jul 2017, Eindhoven, Netherlands
Liste complète des métadonnées

https://hal.inria.fr/hal-01668246
Contributeur : François Thiré <>
Soumis le : jeudi 22 novembre 2018 - 09:58:11
Dernière modification le : samedi 24 novembre 2018 - 01:15:38

Identifiants

  • HAL Id : hal-01668246, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

25

Téléchargements de fichiers

84