Skip to Main content Skip to Navigation
Journal articles

Mechanically Proving Termination Using Polynomial Interpretations

Evelyne Contejean 1 Claude Marché 1 Ana Paula Tomás 2 Xavier Urbain 3
1 LRI - Laboratoire de Recherche en Informatique
2 LIACC - Departamento de matematica aplicada [Porto]
3 CEDRIC - Centre d'études et de recherche en informatique et communications
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

istex

Identifiers

Collections

CNRS | CNAM | UMR8623 | CEDRIC-CNAM

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

43