Randy Forgaard

  • Citations Per Year
Learn More
In this paper, we present an algo.rithm that can automatically prove the termination of many sets of rewrite rules. Previous techniques for proving termination of sets of rewrite rules have either required user help in guiding the proof, or have been too restrictive to be generally applicable. Besides being interesting in its own right, a procedure that(More)
  • 1