Decreasing Diagrams

MaRDI QIDQ40267swMATHFDO

Official website https://www.isa-afp.org/entries/Decreasing-Diagrams.html

Cited in

(2)

• Labelings for decreasing diagrams
• Layer systems for proving confluence

This page was built for software: Decreasing Diagrams