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 Connect in order to contact the contributor
Submitted on : Thursday, January 17, 2019 - 8:27:27 AM
Last modification on : Friday, April 22, 2022 - 11:42:05 AM

Links full text

Identifiers

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

24