Login / Signup

Unification with Lazy Non-Redundant Copying.

Martin C. Emele
Published in: ACL (1991)
Keyphrases
  • higher order
  • databases
  • lazy learning
  • highly redundant
  • eliminating redundant
  • high level
  • neural network
  • decision making
  • database systems
  • face recognition
  • domain knowledge
  • theorem proving
  • equational theories