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

Simonsen, JG 2004, 'On the modularity of confluence in infinitary term rewriting', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3091, pp. 185-199.

APA

Simonsen, J. G. (2004). On the modularity of confluence in infinitary term rewriting. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3091, 185-199.

Vancouver

Simonsen JG. On the modularity of confluence in infinitary term rewriting. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2004 Dec 1;3091:185-199.

Author

Simonsen, Jakob Grue. / On the modularity of confluence in infinitary term rewriting. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2004 ; Vol. 3091. pp. 185-199.

Bibtex

@article{620625194a194b3e9d83e402b1fca1e1,
title = "On the modularity of confluence in infinitary term rewriting",
abstract = "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.",
author = "Simonsen, {Jakob Grue}",
year = "2004",
month = dec,
day = "1",
language = "English",
volume = "3091",
pages = "185--199",
journal = "Lecture Notes in Bioinformatics",
issn = "1611-3349",
publisher = "Springer",

}

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