Triangulation in rewriting

V. Oostrom, van; H. Zantema

Triangulation in rewriting

V. Oostrom, van, H. Zantema

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012)
Editors	A. Tiwari
Place of Publication	Dagstuhl
Publisher	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Pages	240-255
ISBN (Print)	978-3-939897-38-5
Publication status	Published - 2012
Event	conference; 23rd International Conference on Rewriting Techniques and Applications; 2012-05-28; 2012-06-02 - Duration: 28 May 2012 → 2 Jun 2012

Publication series

Name	LIPIcs: Leibniz International Proceedings in Informatics
Volume	15
ISSN (Print)	1868-8968

Conference

Conference	conference; 23rd International Conference on Rewriting Techniques and Applications; 2012-05-28; 2012-06-02
Period	28/05/12 → 2/06/12
Other	23rd 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

@inproceedings{c0d645466de543b9b3237a5f5aeacee7,

title = "Triangulation in rewriting",

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.",

author = "{Oostrom, van}, V. and H. Zantema",

year = "2012",

language = "English",

isbn = "978-3-939897-38-5",

series = "LIPIcs: Leibniz International Proceedings in Informatics",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",

pages = "240--255",

editor = "A. Tiwari",

booktitle = "23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012)",

note = "conference; 23rd International Conference on Rewriting Techniques and Applications; 2012-05-28; 2012-06-02 ; Conference date: 28-05-2012 Through 02-06-2012",

}

Oostrom, van, V & Zantema, H 2012, Triangulation in rewriting. in A Tiwari (ed.), 23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012). LIPIcs: Leibniz International Proceedings in Informatics, vol. 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, pp. 240-255, conference; 23rd International Conference on Rewriting Techniques and Applications; 2012-05-28; 2012-06-02, 28/05/12.

Triangulation in rewriting. / Oostrom, van, V.; Zantema, H.

23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012). ed. / A. Tiwari. Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. p. 240-255 (LIPIcs: Leibniz International Proceedings in Informatics; Vol. 15).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Triangulation in rewriting

AU - Oostrom, van, V.

AU - Zantema, H.

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 978-3-939897-38-5

T3 - LIPIcs: Leibniz International Proceedings in Informatics

SP - 240

EP - 255

BT - 23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012)

A2 - Tiwari, A.

PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik

CY - Dagstuhl

T2 - conference; 23rd International Conference on Rewriting Techniques and Applications; 2012-05-28; 2012-06-02

Y2 - 28 May 2012 through 2 June 2012

ER -