Decreasing Diagrams II

MaRDI QIDQ41247swMATHFDO

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

Cited in

(5)

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

This page was built for software: Decreasing Diagrams II