Login / Signup

Constraint-Based Multi-Completion Procedures for Term Rewriting Systems.

Haruhiko SatoMasahito KuriharaSarah WinklerAart Middeldorp
Published in: IEICE Trans. Inf. Syst. (2009)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • knowledge representation
  • simulated annealing
  • logic programming