Confluence by decreasing diagrams

https://doi.org/10.1016/0304-3975(92)00023-KGet rights and content
Under an Elsevier user license
open archive

Abstract

We present a confluence criterion, local decreasingness, for abstract reduction systems. This criterion is shown to be a considerable generalisation of several well-known confluence criteria.

Cited by (0)