On the modularity of confluence in infinitary term rewriting
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
On the modularity of confluence in infinitary term rewriting. / Simonsen, Jakob Grue.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3091, 01.12.2004, p. 185-199.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
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
VL - 3091
SP - 185
EP - 199
JO - Lecture Notes in Bioinformatics
JF - Lecture Notes in Bioinformatics
SN - 1611-3349
ER -
ID: 224020781