Little Theories (1992)

Cached

Download Links

by William M. Farmer , Joshua D. Guttman , F. Javier Thayer
Venue:Automated Deduction|CADE-11, volume 607 of Lecture Notes in Computer Science
Citations:48 - 15 self

Documents Related by Co-Citation

79 IMPS: An Interactive Mathematical Proof System – William M. Farmer, Joshua D. Guttman, F. Javier Thayer - 1993
502 Introduction to HOL: A theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
31 A Simple Type Theory with Partial Functions and Subtypes – W M Farmer - 1993
75 A partial functions version of Church’s simple theory of types – William M Farmer - 1990
9 The IMPS user’s manual – W M Farmer, J D Guttman, F J Thayer - 1993
35 Locales: A sectioning concept for Isabelle – Florian Kammüller, Markus Wenzel, Lawrence C. Paulson - 1999
13 Modular Reasoning in Isabelle – Florian Kammüller - 1999
14 IMPS: System Description – William M. Farmer, Joshua D. Guttman, F. Javier Thayer - 1992
37 Locales and locale expressions in Isabelle/Isar – Clemens Ballarin - 2004
7 imps: An Interactive – W M Farmer, J D Guttman, F J Thayer - 1993
23 System Description: inka 5.0 - A Logic Voyager – Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer - 1999
602 A Mathematical Introduction to Logic – H ENDERTON - 1972
29 EVES: An overview – D Craigen, S Kromodimoeljo, I Meisels, B Pase, M Saaltink - 1991
8 Thayer Fábrega. imps: An updated system description – W M Farmer, J D Guttman, F J - 1996
11 The Development Graph Manager MAYA – Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer - 2002
14 Management of Change in Structured Verification – Dieter Hutter - 2000
5 Modules in Coq are and will be correct – Jacek Chrząszcz
38 Structured Proofs in Isar/HOL – Tobias Nipkow - 2003