Login / Signup

Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis.

Bertram FronhöferUlrich 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