Another Proof for the Recursive Path Ordering
Author: Nachum Dershowitz
Paper Information
| Title: | Another Proof for the Recursive Path Ordering |
| Authors: | Nachum Dershowitz |
| Proceedings: | WST 2014 Informal Proceedings |
| Editor: | Carsten Fuhs |
| Keywords: | Recursive path ordering, Termination, Orderings |
| Abstract: | ABSTRACT. Yet another proof of well-foundedness of the recursive path ordering is provided. |
| Pages: | 5 |
| Talk: | Jul 18 15:30 |
| Paper: |  |