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:50 - 16 self

Documents Related by Co-Citation

421 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
30 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 – W M Farmer - 1990
9 The IMPS user’s manual – W M Farmer, J D Guttman, F J Thayer - 1993
79 IMPS: An Interactive Mathematical Proof System – William M. Farmer, Joshua D. Guttman, F. Javier 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
501 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic – M J C Gordon, T F Melham - 1993
14 IMPS: System Description – William M. Farmer, Joshua D. Guttman, F. Javier Thayer - 1992
38 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
601 A Mathematical Introduction to Logic – H B 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