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