|
 
|
[DDW97] Recherche dans une bibliothèque de preuves Coq en utilisant le type et modulo isomorphismes
Conférence Nationale avec comité de lecture : PRC/GDR de programmation, Pôle Preuves et Spécifications Algébriques, January 1997,
motcle:
Résumé:
resume
Commentaires:
note
BibTeX
| @inproceedings { | |||
| DDW97, | |||
| title | = | "{ Recherche dans une bibliothèque de preuves Coq en utilisant le type et modulo isomorphismes}", | |
| author | = | " D. Delahaye and R. Di Cosmo and B. Werner ", | |
| booktitle | = | "{PRC/GDR de programmation, Pôle Preuves et Spécifications Algébriques}", | |
| year | = | 1997, | |
| month | = | "January", | |
| note | = | "{note}", | |
| } | |||
