↓ Skip to main content

Computer Science Logic

Overview of attention for book
Cover of 'Computer Science Logic'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Computability Path Ordering: The End of a Quest
  3. Altmetric Badge
    Chapter 2 The Joy of String Diagrams
  4. Altmetric Badge
    Chapter 3 Model Transformations in Decidability Proofs for Monadic Theories
  5. Altmetric Badge
    Chapter 4 Molecules as Automata
  6. Altmetric Badge
    Chapter 5 An Infinite Automaton Characterization of Double Exponential Time
  7. Altmetric Badge
    Chapter 6 Recursion Schemata for NC k
  8. Altmetric Badge
    Chapter 7 Extensional Uniformity for Boolean Circuits
  9. Altmetric Badge
    Chapter 8 Pure Pointer Programs with Iteration
  10. Altmetric Badge
    Chapter 9 Quantified Positive Temporal Constraints
  11. Altmetric Badge
    Chapter 10 Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint
  12. Altmetric Badge
    Chapter 11 Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
  13. Altmetric Badge
    Chapter 12 Continuous Fragment of the mu-Calculus
  14. Altmetric Badge
    Chapter 13 On the Relations between the Syntactic Theories of λμ-Calculi
  15. Altmetric Badge
    Chapter 14 A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms
  16. Altmetric Badge
    Chapter 15 Proving Infinitude of Prime Numbers Using Binomial Coefficients
  17. Altmetric Badge
    Chapter 16 A Tight Karp-Lipton Collapse Result in Bounded Arithmetic
  18. Altmetric Badge
    Chapter 17 A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract)
  19. Altmetric Badge
    Chapter 18 Quantitative Game Semantics for Linear Logic
  20. Altmetric Badge
    Chapter 19 A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
  21. Altmetric Badge
    Chapter 20 An Indexed System for Multiplicative Additive Polarized Linear Logic
  22. Altmetric Badge
    Chapter 21 A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators
  23. Altmetric Badge
    Chapter 22 Superposition for Fixed Domains
  24. Altmetric Badge
    Chapter 23 Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
  25. Altmetric Badge
    Chapter 24 On the Almighty Wand
  26. Altmetric Badge
    Chapter 25 On Counting Generalized Colorings
  27. Altmetric Badge
    Chapter 26 The Descriptive Complexity of Parity Games
  28. Altmetric Badge
    Chapter 27 Computer Science Logic
  29. Altmetric Badge
    Chapter 28 Quantitative Languages
  30. Altmetric Badge
    Chapter 29 Characterization of Logics over Ranked Tree Languages
  31. Altmetric Badge
    Chapter 30 The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem
  32. Altmetric Badge
    Chapter 31 Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)
  33. Altmetric Badge
    Chapter 32 Syntactic Metatheory of Higher-Order Subtyping
  34. Altmetric Badge
    Chapter 33 On Isomorphisms of Intersection Types
  35. Altmetric Badge
    Chapter 34 Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence
  36. Altmetric Badge
    Chapter 35 Type-Based Termination with Sized Products
  37. Altmetric Badge
    Chapter 36 The Ackermann Award 2008
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Good Attention Score compared to outputs of the same age (78th percentile)
  • Good Attention Score compared to outputs of the same age and source (76th percentile)

Mentioned by

twitter
3 X users
wikipedia
1 Wikipedia page

Readers on

mendeley
4 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Computer Science Logic
Published by
ADS, January 2008
DOI 10.1007/978-3-540-87531-4
ISBNs
978-3-54-087530-7, 978-3-54-087531-4
Editors

Michael Kaminski, Simone Martini

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Lecturer > Senior Lecturer 1 25%
Student > Bachelor 1 25%
Student > Ph. D. Student 1 25%
Unspecified 1 25%
Readers by discipline Count As %
Business, Management and Accounting 2 50%
Unspecified 1 25%
Arts and Humanities 1 25%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 5. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 03 April 2020.
All research outputs
#6,524,385
of 24,325,299 outputs
Outputs from ADS
#8,149
of 39,160 outputs
Outputs of similar age
#35,778
of 163,480 outputs
Outputs of similar age from ADS
#126
of 534 outputs
Altmetric has tracked 24,325,299 research outputs across all sources so far. This one has received more attention than most of these and is in the 73rd percentile.
So far Altmetric has tracked 39,160 research outputs from this source. They receive a mean Attention Score of 4.7. This one has done well, scoring higher than 79% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 163,480 tracked outputs that were published within six weeks on either side of this one in any source. This one has done well, scoring higher than 78% of its contemporaries.
We're also able to compare this research output to 534 others from the same source and published within six weeks on either side of this one. This one has done well, scoring higher than 76% of its contemporaries.