↓ 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 18: On Acyclic Conjunctive Queries and Constant Delay Enumeration
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (59th percentile)
  • Good Attention Score compared to outputs of the same age and source (74th percentile)

Mentioned by

2 Wikipedia pages


2 Dimensions

Readers on

12 Mendeley
1 CiteULike
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
On Acyclic Conjunctive Queries and Constant Delay Enumeration
Chapter number 18
Book title
Computer Science Logic
Published in
Lecture notes in computer science, September 2007
DOI 10.1007/978-3-540-74915-8_18
Book ISBNs
978-3-54-074914-1, 978-3-54-074915-8

Guillaume Bagan, Arnaud Durand, Etienne Grandjean


Jacques Duparc, Thomas A. Henzinger

Mendeley readers

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

Geographical breakdown

Country Count As %
Austria 1 8%
Unknown 11 92%

Demographic breakdown

Readers by professional status Count As %
Student > Master 4 33%
Professor 2 17%
Student > Ph. D. Student 2 17%
Lecturer > Senior Lecturer 1 8%
Student > Bachelor 1 8%
Other 1 8%
Unknown 1 8%
Readers by discipline Count As %
Computer Science 10 83%
Mathematics 1 8%
Unknown 1 8%

Attention Score in Context

This research output has an Altmetric Attention Score of 3. 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 23 May 2019.
All research outputs
of 15,094,232 outputs
Outputs from Lecture notes in computer science
of 7,542 outputs
Outputs of similar age
of 260,214 outputs
Outputs of similar age from Lecture notes in computer science
of 83 outputs
Altmetric has tracked 15,094,232 research outputs across all sources so far. This one is in the 48th percentile – i.e., 48% of other outputs scored the same or lower than it.
So far Altmetric has tracked 7,542 research outputs from this source. They receive a mean Attention Score of 4.5. This one has gotten more attention than average, scoring higher than 58% 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 260,214 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 59% of its contemporaries.
We're also able to compare this research output to 83 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 74% of its contemporaries.