Triangulation in rewriting

V. Oostrom, van, H. Zantema

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
2 Downloads (Pure)

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.
Original languageEnglish
Title of host publication23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012)
EditorsA. Tiwari
Place of PublicationDagstuhl
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Pages240-255
ISBN (Print)978-3-939897-38-5
Publication statusPublished - 2012
Eventconference; 23rd International Conference on Rewriting Techniques and Applications; 2012-05-28; 2012-06-02 -
Duration: 28 May 20122 Jun 2012

Publication series

NameLIPIcs: Leibniz International Proceedings in Informatics
Volume15
ISSN (Print)1868-8968

Conference

Conferenceconference; 23rd International Conference on Rewriting Techniques and Applications; 2012-05-28; 2012-06-02
Period28/05/122/06/12
Other23rd International Conference on Rewriting Techniques and Applications

Fingerprint Dive into the research topics of 'Triangulation in rewriting'. Together they form a unique fingerprint.

Cite this