Login / Signup

Complete Sets of Unifiers and Matchers in Equational Theories.

François FagesGérard P. Huet
Published in: Theor. Comput. Sci. (1986)
Keyphrases
  • equational theories
  • theorem proving
  • database systems
  • function symbols
  • database
  • expert systems
  • object oriented