4 citations · 12 across the 11 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LO2023
Generalizing Weighted Path Orders
Teppei Saito, Nao Hirokawa
We show that weighted path orders are special instances of a variant of semantic path orders. Exploiting this fact, we introduce a generalization of weighted path orders that goes…
cs.LO2023
Hydra Battles and AC Termination
Nao Hirokawa, Aart Middeldorp
We present a new encoding of the Battle of Hercules and Hydra as a rewrite system with AC symbols. Unlike earlier term rewriting encodings, it faithfully models any strategy of Her…
cs.LO2023★ 2 cited
Compositional Confluence Criteria
Kiraku Shintani, Nao Hirokawa
We show how confluence criteria based on decreasing diagrams are generalized to ones composable with other criteria. For demonstration of the method, the confluence criteria of ort…