Login / Signup

Autowrite: A Tool for Checking Properties of Term Rewriting Systems.

Irène Durand
Published in: RTA (2002)
Keyphrases
  • term rewriting systems
  • software tools
  • general purpose
  • desirable properties
  • functional programs