10.4230/LIPICS.RTA.2012.240
van Oostrom, Vincent
Vincent
van Oostrom
Zantema, Hans
Hans
Zantema
Triangulation in Rewriting
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2012
Article
triangulation
codeterminism
completion
(co)confluence
(co)termination
Tiwari, Ashish
Ashish
Tiwari
2012
2012-05-29
2012-05-29
2012-05-29
en
urn:nbn:de:0030-drops-34964
10.4230/LIPIcs.RTA.2012
978-3-939897-38-5
1868-8969
10.4230/LIPIcs.RTA.2012
LIPIcs, Volume 15, RTA 2012
23rd International Conference on Rewriting Techniques and Applications (RTA'12)
2013
15
19
240
255
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Tiwari, Ashish
Ashish
Tiwari
1868-8969
Leibniz International Proceedings in Informatics (LIPIcs)
2012
15
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
16 pages
564964 bytes
application/pdf
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
info:eu-repo/semantics/openAccess
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.
LIPIcs, Vol. 15, 23rd International Conference on Rewriting Techniques and Applications (RTA'12), pages 240-255