Narrowing directed by a graph of terms
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 112-123
- https://doi.org/10.1007/3-540-53904-2_90
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Narrowing directed by a graph of termsPublished by Springer Nature ,1991
- Rewrite SystemsPublished by Elsevier ,1990
- Improving basic narrowing techniquesPublished by Springer Nature ,1987
- A New Equational Unification Method: A Generalisation of Martelli-Montanari’s AlgorithmPublished by Springer Nature ,1984
- Canonical Forms and Unification.Published by Defense Technical Information Center (DTIC) ,1980