↓ 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 Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)
  3. Altmetric Badge
    Chapter 2 The Symbolic Approach to Repeated Games (Abstract)
  4. Altmetric Badge
    Chapter 3 Proofs, Programs and Abstract Complexity
  5. Altmetric Badge
    Chapter 4 Model-Checking First-Order Logic: Automata and Locality
  6. Altmetric Badge
    Chapter 5 Tightening the Exchange Rates Between Automata
  7. Altmetric Badge
    Chapter 6 Precise Relational Invariants Through Strategy Iteration
  8. Altmetric Badge
    Chapter 7 Omega-Regular Half-Positional Winning Conditions
  9. Altmetric Badge
    Chapter 8 Clique-Width and Parity Games
  10. Altmetric Badge
    Chapter 9 Logical Refinements of Church’s Problem
  11. Altmetric Badge
    Chapter 10 Computer Science Logic
  12. Altmetric Badge
    Chapter 11 Comparing the Expressive Power of Well-Structured Transition Systems
  13. Altmetric Badge
    Chapter 12 There Exist Some ω-Powers of Any Borel Rank
  14. Altmetric Badge
    Chapter 13 Satisfiability of a Spatial Logic with Tree Variables
  15. Altmetric Badge
    Chapter 14 Forest Expressions
  16. Altmetric Badge
    Chapter 15 MSO on the Infinite Binary Tree: Choice and Order
  17. Altmetric Badge
    Chapter 16 Classical and Intuitionistic Logic Are Asymptotically Identical
  18. Altmetric Badge
    Chapter 17 Qualitative Temporal and Spatial Reasoning Revisited
  19. Altmetric Badge
    Chapter 18 On Acyclic Conjunctive Queries and Constant Delay Enumeration
  20. Altmetric Badge
    Chapter 19 Computer Science Logic
  21. Altmetric Badge
    Chapter 20 The Theory of Calculi with Explicit Substitutions Revisited
  22. Altmetric Badge
    Chapter 21 A Soft Type Assignment System for λ-Calculus
  23. Altmetric Badge
    Chapter 22 Lambda Theories of Effective Lambda Models
  24. Altmetric Badge
    Chapter 23 Typed Normal Form Bisimulation
  25. Altmetric Badge
    Chapter 24 Not Enough Points Is Enough
  26. Altmetric Badge
    Chapter 25 Classical Program Extraction in the Calculus of Constructions
  27. Altmetric Badge
    Chapter 26 Building Decision Procedures in the Calculus of Inductive Constructions
  28. Altmetric Badge
    Chapter 27 Structure Theorem and Strict Alternation Hierarchy for FO2 on Words
  29. Altmetric Badge
    Chapter 28 On the Complexity of Reasoning About Dynamic Policies
  30. Altmetric Badge
    Chapter 29 Relativizing Small Complexity Classes and Their Theories
  31. Altmetric Badge
    Chapter 30 Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping
  32. Altmetric Badge
    Chapter 31 From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
  33. Altmetric Badge
    Chapter 32 Linear Realizability
  34. Altmetric Badge
    Chapter 33 Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete
  35. Altmetric Badge
    Chapter 34 Focusing and Polarization in Intuitionistic Logic
  36. Altmetric Badge
    Chapter 35 Incorporating Tables into Proofs
  37. Altmetric Badge
    Chapter 36 A Cut-Free and Invariant-Free Sequent Calculus for PLTL
  38. Altmetric Badge
    Chapter 37 Unbounded Proof-Length Speed-Up in Deduction Modulo
  39. Altmetric Badge
    Chapter 38 Propositional Logic for Circuit Classes
  40. Altmetric Badge
    Chapter 39 Game Characterizations and the PSPACE-Completeness of Tree Resolution Space
  41. Altmetric Badge
    Chapter 40 Continuous Previsions
  42. Altmetric Badge
    Chapter 41 Bad Variables Under Control
  43. Altmetric Badge
    Chapter 42 A Games Model of Bunched Implications
  44. Altmetric Badge
    Chapter 43 The Ackermann Award 2007
Attention for Chapter 16: Classical and Intuitionistic Logic Are Asymptotically Identical
Altmetric Badge

Mentioned by

1 tweeter


2 Dimensions

Readers on

1 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.
Chapter title
Classical and Intuitionistic Logic Are Asymptotically Identical
Chapter number 16
Book title
Computer Science Logic
Published in
Lecture notes in computer science, September 2007
DOI 10.1007/978-3-540-74915-8_16
Book ISBNs
978-3-54-074914-1, 978-3-54-074915-8

Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc


Jacques Duparc, Thomas A. Henzinger

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Unknown 1 100%
Readers by discipline Count As %
Unknown 1 100%

Attention Score in Context

This research output has an Altmetric Attention Score of 1. 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 07 March 2017.
All research outputs
of 10,301,491 outputs
Outputs from Lecture notes in computer science
of 7,147 outputs
Outputs of similar age
of 255,979 outputs
Outputs of similar age from Lecture notes in computer science
of 81 outputs
Altmetric has tracked 10,301,491 research outputs across all sources so far. This one is in the 12th percentile – i.e., 12% of other outputs scored the same or lower than it.
So far Altmetric has tracked 7,147 research outputs from this source. They receive a mean Attention Score of 4.3. This one is in the 14th percentile – i.e., 14% of its peers scored the same or lower than it.
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 255,979 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 15th percentile – i.e., 15% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 81 others from the same source and published within six weeks on either side of this one. This one is in the 24th percentile – i.e., 24% of its contemporaries scored the same or lower than it.