DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Lawrence Paulson
Lawrence Paulson
Safety and Conservativity of Definitions in HOL and Isabelle/HOL
Submission Data for 2020-2021 CORE Conference Ranking Process International Joint Conference on Automated Reasoning
Towards a Practical, Verified Kernel
Verification of Sequential Imperative Programs in Isabelle/HOL
Curriculum Vitae of Danny Dorling
2017 Edition 35 the Master
Hoare Logics for Recursive Procedures and Unbounded Nondeterminism
Formalising Ordinal Partition Relations Using Isabelle/HOL Mirna Džamonja, Lawrence Paulson, Angeliki Koutsoukou-Argyraki
Symbolic Proofs for Lattice-Based Cryptography
Introduction to Milestones in Interactive Theorem Proving
Formalización De Fundaciones De La Matemática Y Compiladores
Formalisation and Execution of Linear Algebra: Theorems and Algorithms
Isabelle and Security
Extensional Paramodulation for Higher-Order
Formalized Proof Systems for Propositional Logic
Machine Learning for Automated Reasoning
Outils Pour La Formalisation En Analyse Classique Damien Rouhling
New Fellows and Foreign Members, Medals and Award Winners
Top View
Verification of Programs in Virtual Memory Using Separation Logic
Hammering Towards QED Jasmin Blanchette, Cezary Kaliszyk, Lawrence Paulson, Josef Urban
Middlesex University Research Repository an Open Access Repository Of
Computer Assisted Reasoning a Festschrift for Michael J
NEWSLETTER No
The Verification of an Industrial Payment Protocol
The Foreign Service Journal, July 1996
Machine Learning and Automated Theorem Proving
Statement on the Research Excellence Framework Proposals
ERC Advanced Grant 2016 Annex 1 to the Grant Agreement (Description of the Action) Part B Proposal Acronym: ALEXANDRIA Propos
Intelligent Computer Mathematics 9Th International Conference, CICM 2016 Bialystok, Poland, July 25–29, 2016 Proceedings
Culling Concurrency Theory
A Tutorial Introduction to Structured Isar Proofs
Arxiv:1712.04375V3 [Cs.LO] 14 Feb 2018 * Rspa.Royalsocietypublishing.Org Lawrence C
Arxiv:2105.13583V1 [Cs.LO] 28 May 2021 Formal Verification Is of Increasing Interest
Inconsistency Robustness in Foundations Carl Hewitt
Jeremy Avigad
Restless Ecologies in the Andean Highlands by Allison Enfield Caine