Skip to Main content Skip to Navigation
Conference papers

Certification of automated termination proofs

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

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⟩

Share

Metrics

Record views

30