research
∙
07/26/2023
Hydra Battles and AC Termination, Revisited
We present a termination proof for the Battle of Hercules and Hydra repr...
share
research
∙
07/26/2023
Generalizing Weighted Path Orders
We show that weighted path orders are special instances of a variant of ...
research
∙
03/07/2023
Compositional Confluence Criteria
We show how confluence criteria based on decreasing diagrams are general...
research
∙
05/28/2019
Confluence by Critical Pair Analysis Revisited (Extended Version)
We present two methods for proving confluence of left-linear term rewrit...
research
∙
02/23/2018
Abstract Completion, Formalized
Completion is one of the most studied techniques in term rewriting and f...
research
∙
02/15/2011