Login / Signup

The Unification Problem for Confluent Right-Ground Term Rewriting Systems.

Michio OyamaguchiYoshikatsu Ohta
Published in: RTA (2001)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • theorem proving
  • higher order
  • theorem prover
  • definite clause
  • simulated annealing
  • integrity constraints