HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075872
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 7:30:12 PM
Last modification on : Friday, February 4, 2022 - 3:19:25 AM
Long-term archiving on: : Friday, May 13, 2011 - 4:01:19 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

39

Files downloads

38