Login / Signup

E-Unification Algorithms for a Class of Confluent Term Rewriting Systems.

Jia-Huai YouP. A. Subrahmanyam
Published in: ICALP (1986)
Keyphrases
  • term rewriting systems
  • theoretical analysis
  • learning algorithm
  • significant improvement
  • computationally efficient
  • computational cost
  • logic programs
  • worst case
  • simulated annealing
  • class labels