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

Dates and versions

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

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

Share

Gmail Facebook Twitter LinkedIn More