Skip to Main content Skip to Navigation
Journal articles

Mechanically Proving Termination Using Polynomial Interpretations

Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01984434
Contributor : Xavier Urbain <>
Submitted on : Thursday, January 17, 2019 - 8:27:27 AM
Last modification on : Sunday, November 15, 2020 - 7:30:03 PM

Links full text

Identifiers

Collections

Citation

Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain. Mechanically Proving Termination Using Polynomial Interpretations. Journal of Automated Reasoning, Springer Verlag, 2005, 34 (4), pp.325-363. ⟨10.1007/s10817-005-9022-x⟩. ⟨hal-01984434⟩

Share

Metrics

Record views

43