research

Publications

Mechanically proving termination using polynomial interpretations

Journal of Automated Reasoning | 2005 | article

BibTeX
DOI

Publication

Year of publication: 2005

Volume : 34

Pages : 325-363

Month :

CMUP publication : Yes

Authors

C Marche

E Contejean

X Urbain