66
Voted
IANDC
1998
14 years 10 months ago
1998
op diagram techniques for proving confluence in abstract reductions systems. The underlying theory gives a systematic and uniform framework in which a number of known results, wide...
86
Voted
LOGCOM
2000
14 years 10 months ago
2000
The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria act rewriting, such as the strong confluence lemma. We give a ...