Labelings for Decreasing Diagrams

Labelings for Decreasing Diagrams

This page provides an empirical evaluation of decreasing diagrams for proving confluence.

The table headers correspond to the following methods: