Sciweavers

IANDC
1998
70views more  IANDC 1998»
14 years 4 days ago
Diagram Techniques for Confluence
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...
Marc Bezem, Jan Willem Klop, Vincent van Oostrom