Mechanically Proving Termination Using Polynomial Interpretations

Evelyne Contejean; Claude Marché; Ana Paula Tomás; Xavier Urbain

doi:10.1007/s10817-005-9022-x

Journal articles

Mechanically Proving Termination Using Polynomial Interpretations

Evelyne Contejean ¹ Claude Marché ¹ Ana Paula Tomás ² Xavier Urbain ³

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

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

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

Mechanically Proving Termination Using Polynomial Interpretations

Links full text

Identifiers

Collections

Citation

Export

Metrics

24

Mechanically Proving Termination Using Polynomial Interpretations

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

24