Triangulation in rewriting

V. Oostrom, van, H. Zantema

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)
2 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
Titel23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012)
RedacteurenA. Tiwari
Plaats van productieDagstuhl
UitgeverijSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Pagina's240-255
ISBN van geprinte versie978-3-939897-38-5
StatusGepubliceerd - 2012
Evenementconference; 23rd International Conference on Rewriting Techniques and Applications; 2012-05-28; 2012-06-02 -
Duur: 28 mei 20122 jun 2012

Publicatie series

NaamLIPIcs: Leibniz International Proceedings in Informatics
Volume15
ISSN van geprinte versie1868-8968

Congres

Congresconference; 23rd International Conference on Rewriting Techniques and Applications; 2012-05-28; 2012-06-02
Periode28/05/122/06/12
Ander23rd International Conference on Rewriting Techniques and Applications

Vingerafdruk Duik in de onderzoeksthema's van 'Triangulation in rewriting'. Samen vormen ze een unieke vingerafdruk.

Citeer dit