Open Induction

swMATH38018MaRDI QIDQ53718FDOQ53718

Author name not available (Why is that?)

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