Document Open Access Logo

Triangulation in Rewriting

Authors Vincent van Oostrom, Hans Zantema



PDF
Thumbnail PDF

File

LIPIcs.RTA.2012.240.pdf
  • Filesize: 0.53 MB
  • 16 pages

Document Identifiers

Author Details

Vincent van Oostrom
Hans Zantema

Cite AsGet BibTex

Vincent van Oostrom and Hans Zantema. Triangulation in Rewriting. In 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 15, pp. 240-255, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
https://doi.org/10.4230/LIPIcs.RTA.2012.240

Abstract

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.
Keywords
  • triangulation,codeterminism,completion,(co)confluence,(co)termination

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail