↓ 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 Local Reasoning about Programs that Alter Data Structures
  3. Altmetric Badge
    Chapter 2 Applications of Alfred Tarski’s Ideas in Database Theory
  4. Altmetric Badge
    Chapter 3 Locus Solum: From the Rules of Logic to the Logic of Rules
  5. Altmetric Badge
    Chapter 4 The Expressive Power of Horn Monadic Linear Logic
  6. Altmetric Badge
    Chapter 5 Non-commutativity and MELL in the Calculus of Structures
  7. Altmetric Badge
    Chapter 6 Quadratic Correctness Criterion for Non-commutative Logic
  8. Altmetric Badge
    Chapter 7 Capture Complexity by Partition
  9. Altmetric Badge
    Chapter 8 An Existential Locality Theorem
  10. Altmetric Badge
    Chapter 9 Actual Arithmetic and Feasibility
  11. Altmetric Badge
    Chapter 10 The Natural Order-Generic Collapse for ω -Representable Databases over the Rational and the Real Ordered Group
  12. Altmetric Badge
    Chapter 11 An Algebraic Foundation for Higraphs
  13. Altmetric Badge
    Chapter 12 Semantic Characterisations of Second-Order Computability over the Real Numbers
  14. Altmetric Badge
    Chapter 13 An Abstract Look at Realizability
  15. Altmetric Badge
    Chapter 14 The Anatomy of Innocence
  16. Altmetric Badge
    Chapter 15 An Improved Extensionality Criterion for Higher-Order Logic Programs
  17. Altmetric Badge
    Chapter 16 A Logic for Abstract State Machines
  18. Altmetric Badge
    Chapter 17 Constrained Hyper Tableaux
  19. Altmetric Badge
    Chapter 18 Modal Logic and the Two-Variable Fragment
  20. Altmetric Badge
    Chapter 19 A Logic for Approximate First-Order Reasoning
  21. Altmetric Badge
    Chapter 20 Inflationary Fixed Points in Modal Logic
  22. Altmetric Badge
    Chapter 21 Categorical and Kripke Semantics for Constructive S4 Modal Logic
  23. Altmetric Badge
    Chapter 22 Labelled Natural Deduction for Interval Logics
  24. Altmetric Badge
    Chapter 23 Decidable Navigation Logics for Object Structures
  25. Altmetric Badge
    Chapter 24 The Decidability of Model Checking Mobile Ambients
  26. Altmetric Badge
    Chapter 25 A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem
  27. Altmetric Badge
    Chapter 26 An Effective Extension of the Wagner Hierarchy to Blind Counter Automata
  28. Altmetric Badge
    Chapter 27 Decision Procedure for an Extension of WS1S
  29. Altmetric Badge
    Chapter 28 Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic
  30. Altmetric Badge
    Chapter 29 Intersection Logic
  31. Altmetric Badge
    Chapter 30 Life without the Terminal Type
  32. Altmetric Badge
    Chapter 31 Fully Complete Minimal PER Models for the Simply Typed λ-Calculus
  33. Altmetric Badge
    Chapter 32 A Principle of Induction
  34. Altmetric Badge
    Chapter 33 On a Generalisation of Herbrand’s Theorem
  35. Altmetric Badge
    Chapter 34 Well-Founded Recursive Relations
  36. Altmetric Badge
    Chapter 35 Stratified Context Unification Is in PSPACE
  37. Altmetric Badge
    Chapter 36 Uniform Derivation of Decision Procedures by Superposition
  38. Altmetric Badge
    Chapter 37 Complete Categorical Equational Deduction
  39. Altmetric Badge
    Chapter 38 Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories
  40. Altmetric Badge
    Chapter 39 Normalized Types
  41. Altmetric Badge
    Chapter 40 Markov’s Principle for Propositional Type Theory
  42. Altmetric Badge
    Chapter 41 Recursion for Higher-Order Encodings
  43. Altmetric Badge
    Chapter 42 Monotone Inductive and Coinductive Constructors of Rank 2
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
patent
1 patent
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
10 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
Springer Science & Business Media, August 2001
DOI 10.1007/3-540-44802-0
ISBNs
978-3-54-042554-0, 978-3-54-044802-0
Editors

Fribourg, Laurent

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user 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 10 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Mexico 1 10%
Unknown 9 90%

Demographic breakdown

Readers by professional status Count As %
Student > Master 5 50%
Researcher 2 20%
Student > Ph. D. Student 2 20%
Other 1 10%
Readers by discipline Count As %
Computer Science 9 90%
Engineering 1 10%