Refine
Document Type
- Preprint (5)
Language
- English (5)
Has Fulltext
- yes (5)
Keywords
- Term rewriting systems (2)
- combined systems with sha (2)
- confluence (2)
- disjoint union (2)
- innermost termination (2)
- modularity (2)
- termination (2)
- weak termination (2)
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.