Chinese
Theorem Proving in Higher Order Logics
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Let’s Get Physical: Models and Methods for Real-World Security Protocols
-
Altmetric BadgeChapter 2 VCC: A Practical System for Verifying Concurrent C
-
Altmetric BadgeChapter 3 Without Loss of Generality
-
Altmetric BadgeChapter 4 HOL Light: An Overview
-
Altmetric BadgeChapter 5 A Brief Overview of Mizar
-
Altmetric BadgeChapter 6 A Brief Overview of Agda – A Functional Language with Dependent Types
-
Altmetric BadgeChapter 7 The Twelf Proof Assistant
-
Altmetric BadgeChapter 8 Hints in Unification
-
Altmetric BadgeChapter 9 Psi-calculi in Isabelle
-
Altmetric BadgeChapter 10 Theorem Proving in Higher Order Logics
-
Altmetric BadgeChapter 11 Turning Inductive into Equational Specifications
-
Altmetric BadgeChapter 12 Formalizing the Logic-Automaton Connection
-
Altmetric BadgeChapter 13 Extended First-Order Logic
-
Altmetric BadgeChapter 14 Formalising Observer Theory for Environment-Sensitive Bisimulation
-
Altmetric BadgeChapter 15 Formal Certification of a Resource-Aware Language Implementation
-
Altmetric BadgeChapter 16 A Certified Data Race Analysis for a Java-like Language
-
Altmetric BadgeChapter 17 Formal Analysis of Optical Waveguides in HOL
-
Altmetric BadgeChapter 18 The HOL-Omega Logic
-
Altmetric BadgeChapter 19 A Purely Definitional Universal Domain
-
Altmetric BadgeChapter 20 Theorem Proving in Higher Order Logics
-
Altmetric BadgeChapter 21 Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence
-
Altmetric BadgeChapter 22 Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL
-
Altmetric BadgeChapter 23 Packaging Mathematical Structures
-
Altmetric BadgeChapter 24 Practical Tactics for Separation Logic
-
Altmetric BadgeChapter 25 Theorem Proving in Higher Order Logics
-
Altmetric BadgeChapter 26 Trace-Based Coinductive Operational Semantics for While
-
Altmetric BadgeChapter 27 A Better x86 Memory Model: x86-TSO
-
Altmetric BadgeChapter 28 Formal Verification of Exact Computations Using Newton’s Method
-
Altmetric BadgeChapter 29 Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
-
Altmetric BadgeChapter 30 A Hoare Logic for the State Monad
-
Altmetric BadgeChapter 31 Certification of Termination Proofs Using CeTA
-
Altmetric BadgeChapter 32 A Formalisation of Smallfoot in HOL
-
Altmetric BadgeChapter 33 Liveness Reasoning with Isabelle/HOL
-
Altmetric BadgeChapter 34 Mind the Gap
Altmetric Badge
About this Attention Score
-
In the top 25% of all research outputs scored by Altmetric
-
High Attention Score compared to outputs of the same age (93rd percentile)
-
High Attention Score compared to outputs of the same age and source (97th percentile)
Citations
- dimensions_citation
- 8 Dimensions
Readers on
- mendeley
- 5 Mendeley