Mechanizing set theory: Cardinal arithmetic and the axiom of choice (1996)

by Lawrence C. Paulson , Krzysztof Grabczewski
Venue:Journal of Automated Reasoning
Citations:16 - 9 self

Documents Related by Co-Citation

45 Set Theory for Verification: II - Induction and Recursion – Lawrence C. Paulson - 2000
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
541 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.” Cambridge – M J C Gordon, T F Melham - 1993
3430 Communication and Concurrency – R Milner - 1989
383 ML for the Working Programmer – Lawrence C Paulson - 1996
249 The formal semantics of programming languages – G Winskel - 1993
447 Depth-first Iterative-Deepening: An Optimal Admissible Tree Search – Richard E. Korf - 1985
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
859 The Temporal Logic of Actions – Leslie Lamport - 1993