Login / Signup

Variant Narrowing and Equational Unification.

Santiago EscobarJosé MeseguerRalf Sasse
Published in: WRLA (2008)
Keyphrases
  • equational theories
  • theorem proving
  • theorem prover
  • automated theorem proving
  • higher order
  • first order logic
  • viewpoint
  • knowledge base
  • multi agent