TY  - INPR
A1  - Gramlich, Bernhard
T1  - Confluence without Termination via Parallel Critical Pairs
N2  - 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.
T3  - SEKI Report - 95,13 
Y1  - 1999
UR  - https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/383
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:386-kluedo-3549
ER  -