Abstract

A proof of the open induction schema based on J.-C. Raoult, Proving open properties by induction, Information Processing Letters 29, 1988, pp.19-23.

BibTeX

@incollection{MOCS-AFP12,
  author      = "Mizuhito Ogawa and Christian Sternagel",
  title       = "Open Induction",
  booktitle   = "The Archive of Formal Proofs",
  editor      = "Gerwin Klein and Tobias Nipkow and Lawrence Paulson",
  publisher   = "\url{http://afp.sf.net/devel-entries/Open_Induction.shtml}",
  year        = 2012,
  month       = nov,
  note        = "Formal proof development"
  ISSN        = "2150-914x",
}