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.
| Originalsprog | Engelsk |
|---|---|
| Bogserie | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Vol/bind | 3091 |
| Sider (fra-til) | 185-199 |
| Antal sider | 15 |
| ISSN | 0302-9743 |
| Status | Udgivet - 1 dec. 2004 |