How to Prove Equivalence of Term Rewriting Systems Without Induction.

Yoshihito Toyama

Published in: Theor. Comput. Sci. (1991)

Keyphrases

term rewriting systems
functional programs
logic programs
inductive learning
machine learning
data warehouse
rough sets
inductive logic programming
functional language