English
Logic, Language, Information, and Computation
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 The Word Problem for Finitely Presented Quandles is Undecidable
-
Altmetric BadgeChapter 2 Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
-
Altmetric BadgeChapter 3 On Topologically Relevant Fragments of the Logic of Linear Flows of Time
-
Altmetric BadgeChapter 4 An Equation-Based Classical Logic
-
Altmetric BadgeChapter 5 Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
-
Altmetric BadgeChapter 6 A Dichotomy Result for Ramsey Quantifiers
-
Altmetric BadgeChapter 7 Parametric polymorphism - universally
-
Altmetric BadgeChapter 8 On the Weak Index Problem for Game Automata
-
Altmetric BadgeChapter 9 Proof-Theoretic Aspects of the Lambek-Grishin Calculus
-
Altmetric BadgeChapter 10 Syllogistic Logic with “Most”
-
Altmetric BadgeChapter 11 Characterizing Frame Definability in Team Semantics via the Universal Modality
-
Altmetric BadgeChapter 12 An Epistemic Separation Logic
-
Altmetric BadgeChapter 13 Equational Properties of Stratified Least Fixed Points (Extended Abstract)
-
Altmetric BadgeChapter 14 The p -adic Integers as Final Coalgebra
Altmetric Badge
About this Attention Score
-
Good Attention Score compared to outputs of the same age (70th percentile)
-
Above-average Attention Score compared to outputs of the same age and source (56th percentile)
Readers on
- mendeley
- 1 Mendeley