Login / Signup

Complete Sets of Unifiers and Matchers in Equational Theories.

François FagesGérard P. Huet
Published in: CAAP (1983)
Keyphrases
  • equational theories
  • theorem proving
  • artificial intelligence
  • natural language
  • object oriented
  • database design
  • definite clause