Unification in conditional-equational theories

Publisher Website

1 January 1985

book chapter
Published by Springer Nature

p. 543-553
https://doi.org/10.1007/3-540-15984-3_328

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Unification in conditional-equational theories
Published by Springer Nature ,1985
NARROWER: a new algorithm for unification and its application to Logic Programming
Lecture Notes in Computer Science, 1985
Handling function definitions through innermost superposition and rewriting
Published by Springer Nature ,1985
On hierarchies of abstract data types
Acta Informatica, 1983
Equations and Rewrite Rules: A Survey
Published by Elsevier ,1980