Forskning ved Københavns Universitet - Københavns Universitet

Forside

On the modularity of confluence in infinitary term rewriting

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

We show that, unlike the case in finitary term rewriting, confluence is not a modular property of infinitary term rewriting systems, even when these are non-collapsing. We also give a positive result: two sufficient conditions for the modularity of confluence in the infinitary setting.

OriginalsprogEngelsk
BogserieLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind3091
Sider (fra-til)185-199
Antal sider15
ISSN0302-9743
StatusUdgivet - 1 dec. 2004

ID: 224020781