Communication Dans Un Congrès
Année : 2007
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125312
Soumis le : vendredi 6 mars 2015-11:05:46
Dernière modification le : mercredi 9 juillet 2025-15:06:18
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
145
Consultations
0
Téléchargements