Login / Signup
Universal Unification and a Class of Equational Theories.
Alexander Herold
Published in:
GWAI (1982)
Keyphrases
</>
equational theories
function symbols
theorem proving
database
multi class
higher order
turing machine