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 <>
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

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

76