Decreasing Diagrams II

swMATH29533MaRDI QIDQ41247FDOQ41247

Author name not available (Why is that?)

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
• Certifying confluence proofs via relative termination and rule labeling
• Myhill-Nerode
• Well Quasi Orders
• Open Induction

This page was built for software: Decreasing Diagrams II