cl-banner

Open Induction

Mizuhito Ogawa and Christian Sternagel

The Archive of Formal Proofs, 2012.

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.

 

   AFP entry

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",
}
Nach oben scrollen