Login / Signup

Confluent Term Rewriting Systems.

Yoshihito Toyama
Published in: RTA (2005)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs