Certification of automated termination proofs - Archive ouverte HAL Access content directly
Conference Papers Year : 2007
No file

Dates and versions

hal-01125312 , version 1 (06-03-2015)


  • HAL Id : hal-01125312 , version 1


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⟩
37 View
0 Download


Gmail Mastodon Facebook X LinkedIn More