Login / Signup

Implementations of Term Rewriting Systems.

Miki HermannClaude KirchnerHélène Kirchner
Published in: Comput. J. (1991)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • database
  • management system
  • efficient implementation