↓ 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 Notions of Average-Case Complexity for Random 3-SAT
  3. Altmetric Badge
    Chapter 2 Abstract Interpretation of Proofs: Classical Propositional Calculus
  4. Altmetric Badge
    Chapter 3 Applications of Craig Interpolation to Model Checking
  5. Altmetric Badge
    Chapter 4 Bindings, Mobility of Bindings, and the ∇-Quantifier: An Abstract
  6. Altmetric Badge
    Chapter 5 My (Un)Favourite Things
  7. Altmetric Badge
    Chapter 6 On Nash Equilibria in Stochastic Games
  8. Altmetric Badge
    Chapter 7 A Bounding Quantifier
  9. Altmetric Badge
    Chapter 8 Parity and Exploration Games on Infinite Graphs
  10. Altmetric Badge
    Chapter 9 Integrating Equational Reasoning into Instantiation-Based Theorem Proving
  11. Altmetric Badge
    Chapter 10 Goal-Directed Methods for Łukasiewicz Logic
  12. Altmetric Badge
    Chapter 11 A General Theorem on Termination of Rewriting
  13. Altmetric Badge
    Chapter 12 Predicate Transformers and Linear Logic: Yet Another Denotational Model
  14. Altmetric Badge
    Chapter 13 Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity
  15. Altmetric Badge
    Chapter 14 On Proof Nets for Multiplicative Linear Logic with Units
  16. Altmetric Badge
    Chapter 15 The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
  17. Altmetric Badge
    Chapter 16 Game-Based Notions of Locality Over Finite Models
  18. Altmetric Badge
    Chapter 17 Fixed Points of Type Constructors and Primitive Recursion
  19. Altmetric Badge
    Chapter 18 On the Building of Affine Retractions
  20. Altmetric Badge
    Chapter 19 Higher-Order Matching in the Linear λ -calculus with Pairing
  21. Altmetric Badge
    Chapter 20 A Dependent Type Theory with Names and Binding
  22. Altmetric Badge
    Chapter 21 Towards Mechanized Program Verification with Separation Logic
  23. Altmetric Badge
    Chapter 22 A Functional Scenario for Bytecode Verification of Resource Bounds
  24. Altmetric Badge
    Chapter 23 Proving Abstract Non-interference
  25. Altmetric Badge
    Chapter 24 Intuitionistic LTL and a New Characterization of Safety and Liveness
  26. Altmetric Badge
    Chapter 25 Moving in a Crumbling Network: The Balanced Case
  27. Altmetric Badge
    Chapter 26 Parameterized Model Checking of Ring-Based Message Passing Systems
  28. Altmetric Badge
    Chapter 27 A Third-Order Bounded Arithmetic Theory for PSPACE
  29. Altmetric Badge
    Chapter 28 Provably Total Primitive Recursive Functions: Theories with Induction
  30. Altmetric Badge
    Chapter 29 Logical Characterizations of PSPACE
  31. Altmetric Badge
    Chapter 30 The Logic of the Partial λ -Calculus with Equality
  32. Altmetric Badge
    Chapter 31 Complete Lax Logical Relations for Cryptographic Lambda-Calculi
  33. Altmetric Badge
    Chapter 32 Subtyping Union Types
  34. Altmetric Badge
    Chapter 33 Pfaffian Hybrid Systems
  35. Altmetric Badge
    Chapter 34 Axioms for Delimited Continuations in the CPS Hierarchy
  36. Altmetric Badge
    Chapter 35 Set Constraints on Regular Terms
  37. Altmetric Badge
    Chapter 36 Unsound Theorem Proving
  38. Altmetric Badge
    Chapter 37 A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation
  39. Altmetric Badge
    Chapter 38 Automated Generation of Analytic Calculi for Logics with Linearity
Attention for Chapter 7: A Bounding Quantifier
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
8 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
A Bounding Quantifier
Chapter number 7
Book title
Computer Science Logic
Published by
Springer, Berlin, Heidelberg, September 2004
DOI 10.1007/978-3-540-30124-0_7
Book ISBNs
978-3-54-023024-3, 978-3-54-030124-0
Authors

Mikołaj Bojańczyk, Bojańczyk, Mikołaj

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 8 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 2 25%
Researcher 2 25%
Professor 1 13%
Student > Master 1 13%
Student > Ph. D. Student 1 13%
Other 0 0%
Unknown 1 13%
Readers by discipline Count As %
Computer Science 5 63%
Mathematics 2 25%
Unknown 1 13%