- Authors
- Bernhard Gramlich,
Claus-Peter Wirth
- Title
- Confluence of Terminating Conditional Term Rewriting Systems Revisited
- In
- 7th RTA, 1996, LNCS 1103, pp.245-259, Springer
- Abstract
- We present a new and powerful criterion for confluence of terminating
(terms in) join conditional term rewriting systems. This criterion is based
on a certain joinability property for shared parallel critical
peaks and
does neither require the systems to be decreasing nor left-linear nor
normal, but only terminating.
- Full paper
-
- Format
- .ps.gz
- Size
- .11 Mbytes