FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: