 |
Conference papers
Certification of automated termination proofs
Evelyne Contejean
Author IdHAL : evelyne-contejean
Pierre Courtieu 1
Author IdHAL : pierre-courtieu ORCID : https://orcid.org/0000-0001-8789-9781
Julien Forest 1
Author
Olivier Pons 1
Author IdHAL : olivier-pons ORCID : https://orcid.org/0000-0001-6423-8630
Xavier Urbain 1
Author IdHAL : xavier-urbain
1
CEDRIC - Centre d'études et de recherche en informatique et communications (292 rue Saint-Martin
75141 PARIS Cedex 03
Case courrier 2D4P30 - France)
- ENSIIE - Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise : EA4629 (France)
- CNAM - Conservatoire National des Arts et Métiers [CNAM] : EA4629 (France)
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01125312
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:05:46 AM
Last modification on : Tuesday, April 21, 2020 - 1:10:05 AM
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:05:46 AM
Last modification on : Tuesday, April 21, 2020 - 1:10:05 AM
Identifiers
- HAL Id : hal-01125312, version 1
Collections
CNAM | UMR8623 | LRI-VALS | CEDRIC-CNAM
Citation
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⟩
Metrics
Record views