A transitive HORPO for curried systems
Authors: Liye Guo and Cynthia Kop
Paper Information
| Title: | A transitive HORPO for curried systems |
| Authors: | Liye Guo and Cynthia Kop |
| Proceedings: | WST22 Program papers |
| Editor: | Cynthia Kop |
| Keywords: | Higher-order term rewriting, Termination, Recursive path ordering |
| Pages: | 5 |
| Talk: | Aug 11 09:30 (Session 120L) |
| Paper: |  |