Login / Signup

Confluent Term Rewriting Systems with Membership Conditions.

Yoshihito Toyama
Published in: CTRS (1987)
Keyphrases
  • term rewriting systems
  • logic programs
  • sufficient conditions
  • functional programs
  • machine learning
  • databases
  • distributed environment