Randy Forgaard

Publication Activity (10 Years)

Years Active: 1985-1985
Publications (10 Years): 0

Publications

David Detlefs, Randy Forgaard
A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules. RTA (1985)