CoLoR: a Coq library on rewriting and termination

Abstract : Coq is a tool allowing to certify proofs. This paper describes a Coq library for certifying termination proofs.
Type de document :
Communication dans un congrès
Eighth International Workshop on Termination - WST 2006, Aug 2006, Seattle, United States. 2006
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00084835
Contributeur : Frédéric Blanqui <>
Soumis le : lundi 11 septembre 2006 - 13:48:39
Dernière modification le : vendredi 9 mars 2018 - 11:24:47
Document(s) archivé(s) le : lundi 20 septembre 2010 - 16:55:55

Fichiers

Identifiants

  • HAL Id : inria-00084835, version 2

Collections

Citation

Frédéric Blanqui, Solange Coupet-Grimal, William Delobel, Sébastien Hinderer, Adam Koprowski. CoLoR: a Coq library on rewriting and termination. Eighth International Workshop on Termination - WST 2006, Aug 2006, Seattle, United States. 2006. 〈inria-00084835v2〉

Partager

Métriques

Consultations de la notice

275

Téléchargements de fichiers

119