NARROWER: a new algorithm for unification and its application to Logic Programming
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 141-157
- https://doi.org/10.1007/3-540-15976-2_7
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Incremental construction of unification algorithms in equational theoriesPublished by Springer Nature ,2006
- Implementation of a general completion procedure parameterized by built-in theories and strategiesLecture Notes in Computer Science, 1985
- Computer experiments with the REVE term rewriting system generatorPublished by Association for Computing Machinery (ACM) ,1983
- Complete sets of unifiers and matchers in equational theoriesLecture Notes in Computer Science, 1983
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- Canonical forms and unificationPublished by Springer Nature ,1980