Improving basic narrowing techniques
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 228-241
- https://doi.org/10.1007/3-540-17220-3_20
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Incremental construction of unification algorithms in equational theoriesPublished by Springer Nature ,2006
- Improving basic narrowing techniquesPublished by Springer Nature ,1987
- NARROWER: a new algorithm for unification and its application to Logic ProgrammingLecture Notes in Computer Science, 1985
- Equality, types, modules, and (why not?) generics for logic programmingThe Journal of Logic Programming, 1984
- Computer experiments with the REVE term rewriting system generatorPublished by Association for Computing Machinery (ACM) ,1983
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- Canonical forms and unificationPublished by Springer Nature ,1980
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and AssociativityJournal of the ACM, 1974