Well Quasi Orders

MaRDI QIDQ40319swMATHFDO

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
• mkbTT
• KBCV
• Decreasing Diagrams II
• Open Induction
• Certifying confluence proofs via relative termination and rule labeling
• Formalizing Knuth-Bendix orders and Knuth-Bendix completion

This page was built for software: Well Quasi Orders