Login / Signup
Constraint-Based Multi-Completion Procedures for Term Rewriting Systems.
Haruhiko Sato
Masahito Kurihara
Sarah Winkler
Aart Middeldorp
Published in:
IEICE Trans. Inf. Syst. (2009)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
knowledge representation
simulated annealing
logic programming