Login / Signup
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis.
Bertram Fronhöfer
Ulrich Furbach
Published in:
GWAI (1986)
Keyphrases
</>
knuth bendix
program synthesis
term rewriting
rewrite systems
function symbols
recursive programs
databases
machine learning
general purpose
inductive logic programming
theorem proving
relational learning