Unification in conditional-equational theories
Author:
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 543-553
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Unification in conditional-equational theoriesLecture Notes in Computer Science, 1985
- NARROWER: a new algorithm for unification and its application to Logic Programming1985
- Handling function definitions through innermost superposition and rewriting1985
- On hierarchies of abstract data typesActa Informatica, 1983
- Equations and Rewrite Rules: A Survey1980