Skip to Main content Skip to Navigation
Conference papers

Certification of automated termination proofs

Evelyne Contejean Pierre Courtieu 1 Julien Forest 1 Olivier Pons 1 Xavier Urbain 1 
1 CEDRIC - Centre d'études et de recherche en informatique et communications
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01125312
Contributor : Laboratoire CEDRIC Connect in order to contact the contributor
Submitted on : Friday, March 6, 2015 - 11:05:46 AM
Last modification on : Saturday, June 25, 2022 - 9:09:26 PM

Identifiers

  • HAL Id : hal-01125312, version 1

Collections

EC-PARIS | 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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

30