Decreasing Diagrams

MaRDI QIDQ40267swMATHFDO

Authors Harald Zankl

Publication date 1 November 2013

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

Cites work

• Confluence by Decreasing Diagrams
• Confluence by decreasing diagrams
• Confluence by decreasing diagrams -- formalized

Cited in

(2)

• Labelings for decreasing diagrams
• Layer systems for proving confluence

This page was built for software: Decreasing Diagrams