Login / Signup
A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules.
David Detlefs
Randy Forgaard
Published in:
RTA (1985)
Keyphrases
</>
rewrite rules
term rewrite systems
viewpoint
data driven
multiple images