Improving basic narrowing techniques and commutation properties

Abstract : In this paper, we propose a new and complete method based on narrowing for solving equations in equational theories. This method is complete in the sense that it gives all the solutions. It is a combination of basic narrowing, which is not obvious, because their naïve combination is not a complete method. We show that it is more efficient than the existing methods in many cases, and for that establish commutation properties on the narrowing. It provides an algorithm that has been implemented as an extension of the software REVE.
Type de document :
Rapport
[Research Report] RR-0681, INRIA. 1987
Liste complète des métadonnées

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

Fichiers

Identifiants

  • HAL Id : inria-00075872, version 1

Collections

Citation

Pierre Rety. Improving basic narrowing techniques and commutation properties. [Research Report] RR-0681, INRIA. 1987. 〈inria-00075872〉

Partager

Métriques

Consultations de la notice

75

Téléchargements de fichiers

41