Login / Signup

How to Prove Equivalence of Term Rewriting Systems without Induction.

Yoshihito Toyama
Published in: CADE (1986)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • functional language
  • inductive logic programming
  • inductive learning
  • concept formation
  • proof planning
  • databases
  • knowledge base
  • data model