Conference Papers
Year : 2007
Laboratoire CEDRIC : Connect in order to contact the contributor
https://hal.science/hal-01125312
Submitted on : Friday, March 6, 2015-11:05:46 AM
Last modification on : Friday, August 5, 2022-2:54:00 PM
Dates and versions
Identifiers
- HAL Id : hal-01125312 , version 1
Cite
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
30
View
0
Download