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.
| Original language | English |
|---|---|
| Book series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 3091 |
| Pages (from-to) | 185-199 |
| Number of pages | 15 |
| ISSN | 0302-9743 |
| Publication status | Published - 1 Dec 2004 |