Refine
Year of publication
- 1999 (3) (remove)
Document Type
- Preprint (3)
Language
- English (3)
Has Fulltext
- yes (3)
Keywords
- Term rewriting systems (1)
- combined systems with sha (1)
- confluence (1)
- disjoint union (1)
- innermost termination (1)
- modularity (1)
- termination (1)
- weak termination (1)
Faculty / Organisational entity
We present a new criterion for confluence of (possibly) non-terminating left-linear term rewriting systems. The criterion is based on certain strong joinabil-ity properties of parallel critical pairs . We show how this criterion relates toother well-known results, consider some special cases and discuss some possibleextensions.