Triangulation in Rewriting
Vincent van Oostrom, Hans Zantema · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012
We introduce a process, dubbed triangulation, turning any rewrite relation into a confluent one. It is more direct than usual completion, in the sense that objects connected by a peak are directly related rather than their normal forms. We investigate conditions under which this process preserves desirable properties such as termination.