Termination of rewriting systems by polynomial interpretations and its implementation

Abstract : This paper describes the actual implementation in the rewrite rule laboratory REVE, of an elementary procedure that checks inequalities between polynomials and is used for proving termination of rewriting systems, especially in the more difficult case of associative-commutative rewriting systems, for which a complete characterization is given.
Type de document :
Rapport
[Research Report] RR-0677, INRIA. 1987
Liste complète des métadonnées

https://hal.inria.fr/inria-00075876
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 19:30:33
Dernière modification le : samedi 17 septembre 2016 - 01:06:55
Document(s) archivé(s) le : vendredi 13 mai 2011 - 13:29:53

Fichiers

Identifiants

  • HAL Id : inria-00075876, version 1

Collections

Citation

Ahlem Ben Cherifa, Pierre Lescanne. Termination of rewriting systems by polynomial interpretations and its implementation. [Research Report] RR-0677, INRIA. 1987. 〈inria-00075876〉

Partager

Métriques

Consultations de la notice

1097

Téléchargements de fichiers

104