NARROWER: a new algorithm for unification and its application to Logic Programming
Authors:
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 141-157
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- 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 generator1983
- Complete sets of unifiers and matchers in equational theories1983
- Equations and Rewrite Rules: A Survey1980
- Canonical forms and unification1980