Improving transformation systems for general E-unification
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Basic paramodulation and superpositionPublished by Springer Nature ,1992
- Basic superposition is completePublished by Springer Nature ,1992
- A Proof Theory for General UnificationPublished by Springer Nature ,1991
- Canonical Equational ProofsPublished by Springer Nature ,1991
- Complete sets of transformations for general E-unificationTheoretical Computer Science, 1989
- Basic narrowing revisitedJournal of Symbolic Computation, 1989
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987