Login / Signup

A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules.

David DetlefsRandy Forgaard
Published in: RTA (1985)
Keyphrases
  • rewrite rules
  • term rewrite systems
  • viewpoint
  • data driven
  • multiple images