Rechercher

[CMP05] Mechanically proving termination using polynomial interpretations

Revue Internationale avec comité de lecture : Journal JAR, Journal of Automated Reasoning, vol. 34(4), pp. 325-363, 2005
motcle:
Résumé: resume

Commentaires: note

BibTeX

@article {
CMP05,
title="{Mechanically proving termination using polynomial interpretations}",
author="E. Contejean and C. March and A. Paula Tomas and X. Urbain",
journal="JAR, Journal of Automated Reasoning",
year=2005,
volume=34,
number=4,
pages="325-363",
note="{note}",
}