Pattern-directed invocation with changing equations
- 1 January 1991
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 7 (3) , 403-433
- https://doi.org/10.1007/bf00249022
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Complete sets of transformations for general E-unificationTheoretical Computer Science, 1989
- Unification theoryJournal of Symbolic Computation, 1989
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980
- Canonical forms and unificationPublished by Springer Nature ,1980
- A truth maintenance systemArtificial Intelligence, 1979
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965