Login / Signup

On Equivalence Transformations for Term Rewriting Systems.

Yoshihito Toyama
Published in: RIMS Symposia on Software Science and Engineering (1984)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • knowledge base
  • search space
  • data warehouse
  • object oriented
  • rough sets