Decreasing Diagrams II

MaRDI QIDQ41247swMATHFDO

Authors Bertram Felgenhauer

Publication date 20 August 2015

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

Cites work

• Confluence by Decreasing Diagrams
• Decreasing diagrams and relative termination
• Proof orders for decreasing diagrams

Cited in

(5)

• Certifying confluence proofs via relative termination and rule labeling
• A Mechanized Proof of Higman’s Lemma by Open Induction
• Myhill-Nerode
• Well Quasi Orders
• Open Induction

This page was built for software: Decreasing Diagrams II