Login / Signup

Rigid E-Unification: NP-Completeness and Applications to Equational Matings

Jean H. GallierPaliath NarendranDavid A. PlaistedWayne Snyder
Published in: Inf. Comput. (1990)
Keyphrases
  • equational theories
  • theorem proving
  • theorem prover
  • first order logic
  • automated theorem proving
  • higher order
  • database
  • three dimensional
  • wide range
  • knowledge representation
  • inference rules
  • function symbols