L. C. Paulson: "Isabelle: The Next 700 theorem provers", Logic and Computer Science, pp.361--386,1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Proof Search and Counter-Model Generation for Intuitionistic Logic - Nagano (1999) (Correct)
Why the Structure Encountered in Mathematical Textbooks is.. - Fehrer (Correct)
Correct Modification of Complex Plans - Koehler (Correct)
Proof by Pointing - Bertot, Kahn, Théry (1994) (18 citations) (Correct)
A Mechanized Hoare Logic of State Transitions - Gordon (1993) (2 citations) (Correct)
An Higher-Order Functional Representation of Digital Circuits - Benini (1993) (Correct)
Real Theorem Provers Deserve Real User-Interfaces - Théry, Bertot, Kahn (1992) (5 citations) (Correct)
Real Theorem Provers Deserve Real User-Interfaces - Thery, al. (1992) (10 citations) (Correct)
A Mechanized Theory of the pi-calculus in HOL - Melham (1992) (6 citations) (Correct)
Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994) (224 citations) (Correct)
Representing FM in Isabelle - Blok (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC