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

30 A Simple Type Theory with Partial Functions and Subtypes – W M Farmer - 1993
78 IMPS: An Interactive Mathematical Proof System – William M. Farmer, Joshua D. Guttman, F. Javier Thayer - 1993
497 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
418 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
74 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
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
598 A Mathematical Introduction to Logic – H Enderton - 1972
29 EVES: An overview – D Craigen, S Kromodimoeljo, I Meisels, B Pase, M Saaltink - 1991
37 Locales and locale expressions in Isabelle/Isar – Clemens Ballarin - 2004
216 Mathematical Logic – J R Shoenfield - 1967
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
395 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
35 Theory Interpretation in Simple Type Theory – William M. Farmer - 1993
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