Set theory for verification: I. From foundations to functions (1993)

by Lawrence C. Paulson
Venue:J. Auto. Reas
Citations:44 - 16 self

Documents Related by Co-Citation

43 Set Theory for Verification: II - Induction and Recursion – Lawrence C. Paulson - 2000
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
36 Automated deduction in von Neumann-Bernays-G»odel set theory – Art Quaife - 1992
44 A fixedpoint approach to implementing (co)inductive definitions – L C Paulson - 1994
502 Introduction to HOL: A theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
274 Set Theory: An Introduction to Independence Proofs – Kenneth Kunen - 1980
79 IMPS: An Interactive Mathematical Proof System – William M. Farmer, Joshua D. Guttman, F. Javier Thayer - 1993
14 Experimenting with Isabelle in ZF set theory – Philippe No»el - 1993
128 Naive Set Theory – Paul R Halmos - 1960
167 Logic and Computation: Interactive Proof with Cambridge LCF – L C Paulson - 1987
16 A Concrete Final Coalgebra Theorem for ZF Set Theory – Lawrence C. Paulson - 1994
77 Co-induction in relational semantics – R Milner, M Tofte - 1991
22 Set theory in first-order logic: Clauses for Gödel’s axioms – Robert Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark Stickel, Lawrence Wos - 1986
42 Reasoning with inductively defined relations in the HOL theorem prover – Juanito Camilleri, Tom Melham - 1992
74 Automating Recursive Type Definitions in Higher Order Logic – Thomas Melham - 1988
1065 Introduction to lattices and order – B A Davey, H A Priestley - 2002
397 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
16 Mechanizing set theory: Cardinal arithmetic and the axiom of choice – Lawrence C. Paulson, Krzysztof Grabczewski - 1996
134 Elements of Intuitionism – M Dummett - 1977