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.
|Naam||LIPIcs: Leibniz International Proceedings in Informatics|
|ISSN van geprinte versie||1868-8968|
|Congres||conference; 23rd International Conference on Rewriting Techniques and Applications; 2012-05-28; 2012-06-02|
|Periode||28/05/12 → 2/06/12|
|Ander||23rd International Conference on Rewriting Techniques and Applications|