English
Logic, Language, and Security
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 A $$\varPi _1^0$$ Π 1 0 -Bounded Fragment of Infinitary Action Logic with Exponential
-
Altmetric BadgeChapter 2 Transcendental Syntax iv : Logic Without Systems
-
Altmetric BadgeChapter 3 A Small Remark on Hilbert’s Finitist View of Divisibility and Kanovich-Okada-Scedrov’s Logical Analysis of Real-Time Systems
-
Altmetric BadgeChapter 4 Logic of Fusion
-
Altmetric BadgeChapter 5 There’s No Time, The Problem of Conceptualising Time
-
Altmetric BadgeChapter 6 Andre and the Early Days of Penn’s Logic and Computation Group
-
Altmetric BadgeChapter 7 Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
-
Altmetric BadgeChapter 8 Logic and Applications - LAP Meeting
-
Altmetric BadgeChapter 9 Formal Methods Analysis of the Secure Remote Password Protocol
-
Altmetric BadgeChapter 10 The Hitchhiker’s Guide to Decidability and Complexity of Equivalence Properties in Security Protocols
-
Altmetric BadgeChapter 11 Assumption-Based Analysis of Distance-Bounding Protocols with cpsa
-
Altmetric BadgeChapter 12 Modelchecking Safety Properties in Randomized Security Protocols
-
Altmetric BadgeChapter 13 Andre Scedrov
-
Altmetric BadgeChapter 14 Gender Bias in Neural Natural Language Processing