Open Induction

MaRDI QIDQ53718swMATHFDO

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

Cited in

(6)

• A Mechanized Proof of Higman’s Lemma by Open Induction
• Proving open properties by induction
• Myhill-Nerode
• Decreasing Diagrams II
• Well Quasi Orders
• On induction principles for partial orders

This page was built for software: Open Induction