Login / Signup

-Unification.

Margus Veanes
Published in: LICS (1998)
Keyphrases
  • higher order
  • theorem proving
  • equational theories
  • theorem prover
  • search algorithm
  • expert systems
  • graphical models
  • automated theorem proving