Well Quasi Orders

swMATH28605MaRDI QIDQ40319FDOQ40319

Author name not available (Why is that?)

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

Cited In (7)

• A Mechanized Proof of Higman’s Lemma by Open Induction
• Certifying confluence proofs via relative termination and rule labeling
• mkbTT
• Formalizing Knuth-Bendix orders and Knuth-Bendix completion
• KBCV
• Decreasing Diagrams II
• Open Induction

This page was built for software: Well Quasi Orders