Communication Dans Un Congrès
Année : 2007
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125312
Soumis le : vendredi 6 mars 2015-11:05:46
Dernière modification le : vendredi 5 août 2022-14:54:00
Dates et versions
Identifiants
- HAL Id : hal-01125312 , version 1
Citer
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain. Certification of automated termination proofs. 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162. ⟨hal-01125312⟩
Collections
37
Consultations
0
Téléchargements