Login / Signup

A Class of Confluent Term Rewriting Systems and Unification.

Jia-Huai YouP. A. Subrahmanyam
Published in: J. Autom. Reason. (1986)
Keyphrases
  • term rewriting systems
  • high level
  • higher order
  • logic programs
  • theorem prover
  • theorem proving