Documents Related by Co-Citation

41 Introduction to Isabelle – Lawrence C. Paulson - 1998
53 The Isabelle Reference Manual – Lawrence C. Paulson - 2008
160 Isabelle: A Generic Theorem Prover, volume 828 – Lawrence C Paulson - 1994
386 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
44 A fixedpoint approach to implementing (co)inductive definitions – Lawrence C Paulson - 1994
40 Set Theory for Verification: II - Induction and Recursion – Lawrence C. Paulson - 2000
13 The problem of weak bisimulation up-to – D Sangiorgi, R Milner - 1992
57 The origins of structural operational semantics – Gordon D. Plotkin - 2004
2970 Communication and Concurrency – R Milner - 1989
173 Isabelle: The next 700 theorem provers – L C Paulson - 1990
38 Mechanizing Coinduction and Corecursion in Higher-order Logic – Lawrence C. Paulson - 1997
73 Co-induction in relational semantics – Robin Milner, Mads Tofte - 1991
2 Proof Theory: A Selection of – P Aczel, H Simmons, S S Wainer - 1992
2 First-Order Logic, second corrected ed – R M Smullyan - 1995
4 The Correctness Problem in Computer Science – editors Moore - 2000
9 Constructive completeness of Intuitionistic Predicate Logic: A formalization in Type theory – H Persson - 1996
15 Mechanizing set theory: Cardinal arithmetic and the axiom of choice – Lawrence C. Paulson, Krzysztof Grabczewski - 1996
70 leanTAP: Lean Tableau-based Deduction – Bernhard Beckert, Joachim Posegga - 1995
34 A generic tableau prover and its integration with Isabelle – Lawrence C. Paulson - 1999