2 papers
cs.LO2026
Lexicographic Combination of Reduction Pairs (Extended Version)
Teppei Saito, Nao Hirokawa
We present a simple criterion for combining reduction pairs lexicographically. The criterion is applicable to arbitrary classes of reduction pairs, such as the polynomial interpret…
cs.LO2026
Unifying Semantic Path Order and Weighted Path Order
Teppei Saito, Nao Hirokawa
Monotonic semantic path orders and weighted path orders are powerful reduction orders for proving termination of term rewrite systems. In this paper we present their simple unifica…