On the modularity of confluence in infinitary term rewriting

TY - JOUR

T1 - On the modularity of confluence in infinitary term rewriting

AU - Simonsen, Jakob Grue

PY - 2004/12/1

Y1 - 2004/12/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=33646596734&partnerID=8YFLogxK

M3 - Journal article

AN - SCOPUS:33646596734

SN - 0302-9743

VL - 3091

SP - 185

EP - 199

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -