Login / Signup

On the Church-Rosser property for the direct sum of term rewriting systems.

Yoshihito Toyama
Published in: J. ACM (1987)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • knowledge representation
  • logic programming
  • desirable properties