Open Induction

MaRDI QIDQ53718swMATHFDO

Authors Mizuhito Ogawa, Christian Sternagel

Publication date 2 November 2012

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

Cites work

• Proving open properties by induction

Cited in

(6)

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

This page was built for software: Open Induction