↓ Skip to main content

Computation and Logic in the Real World

Overview of attention for book
Cover of 'Computation and Logic in the Real World'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Shifting and Lifting of Cellular Automata
  3. Altmetric Badge
    Chapter 2 Learning as Data Compression
  4. Altmetric Badge
    Chapter 3 Reachability Problems: An Update
  5. Altmetric Badge
    Chapter 4 RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
  6. Altmetric Badge
    Chapter 5 Producer/Consumer in Membrane Systems and Petri Nets
  7. Altmetric Badge
    Chapter 6 A Minimal Pair in the Quotient Structure M / NCup
  8. Altmetric Badge
    Chapter 7 Constructive Dimension and Weak Truth-Table Degrees
  9. Altmetric Badge
    Chapter 8 A Classification of Viruses Through Recursion Theorems
  10. Altmetric Badge
    Chapter 9 Borel Complexity of Topological Operations on Computable Metric Spaces
  11. Altmetric Badge
    Chapter 10 Colocatedness and Lebesgue Integrability
  12. Altmetric Badge
    Chapter 11 Computing with Genetic Gates
  13. Altmetric Badge
    Chapter 12 Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems
  14. Altmetric Badge
    Chapter 13 Characterizing Programming Systems Allowing Program Self-reference
  15. Altmetric Badge
    Chapter 14 K -Trivial Closed Sets and Continuous Functions
  16. Altmetric Badge
    Chapter 15 Pseudojump Operators and $\Pi^0_1$ Classes
  17. Altmetric Badge
    Chapter 16 Sofic Trace Subshift of a Cellular Automaton
  18. Altmetric Badge
    Chapter 17 Thin Maximal Antichains in the Turing Degrees
  19. Altmetric Badge
    Chapter 18 Effective Computation for Nonlinear Systems
  20. Altmetric Badge
    Chapter 19 On Rules and Parameter Free Systems in Bounded Arithmetic
  21. Altmetric Badge
    Chapter 20 The New Promise of Analog Computation
  22. Altmetric Badge
    Chapter 21 Comparing C.E. Sets Based on Their Settling Times
  23. Altmetric Badge
    Chapter 22 Time-Complexity Semantics for Feasible Affine Recursions
  24. Altmetric Badge
    Chapter 23 Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers
  25. Altmetric Badge
    Chapter 24 Feasible Depth
  26. Altmetric Badge
    Chapter 25 Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model
  27. Altmetric Badge
    Chapter 26 A Continuous Derivative for Real-Valued Functions
  28. Altmetric Badge
    Chapter 27 Refocusing Generalised Normalisation
  29. Altmetric Badge
    Chapter 28 The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number
  30. Altmetric Badge
    Chapter 29 Parameterized Complexity and Logic
  31. Altmetric Badge
    Chapter 30 Index Sets of Computable Structures with Decidable Theories
  32. Altmetric Badge
    Chapter 31 Minimal Representations for Majority Games
  33. Altmetric Badge
    Chapter 32 Linear Transformations in Boolean Complexity Theory
  34. Altmetric Badge
    Chapter 33 Exact Pair Theorem for the ω -Enumeration Degrees
  35. Altmetric Badge
    Chapter 34 Operational Semantics for Positive Relevant Logics Without Distribution
  36. Altmetric Badge
    Chapter 35 Multi-valued Logics, Effectiveness and Domains
  37. Altmetric Badge
    Chapter 36 Internal Computability
  38. Altmetric Badge
    Chapter 37 Post’s Problem for Ordinal Register Machines
  39. Altmetric Badge
    Chapter 38 Unique Existence and Computability in Constructive Reverse Mathematics
  40. Altmetric Badge
    Chapter 39 Input-Dependence in Function-Learning
  41. Altmetric Badge
    Chapter 40 Some Notes on Degree Spectra of the Structures
  42. Altmetric Badge
    Chapter 41 Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus
  43. Altmetric Badge
    Chapter 42 The Polynomial and Linear Hierarchies in V 0
  44. Altmetric Badge
    Chapter 43 The Uniformity Principle for Σ -Definability with Applications to Computable Analysis
  45. Altmetric Badge
    Chapter 44 Circuit Complexity of Regular Languages
  46. Altmetric Badge
    Chapter 45 Definability in the Homomorphic Quasiorder of Finite Labeled Forests
  47. Altmetric Badge
    Chapter 46 Physics and Computation: The Status of Landauer’s Principle
  48. Altmetric Badge
    Chapter 47 Strict Self-assembly of Discrete Sierpinski Triangles
  49. Altmetric Badge
    Chapter 48 Binary Trees and (Maximal) Order Types
  50. Altmetric Badge
    Chapter 49 A Weakly 2-Random Set That Is Not Generalized Low
  51. Altmetric Badge
    Chapter 50 Speed-Up Theorems in Type-2 Computation
  52. Altmetric Badge
    Chapter 51 The Complexity of Quickly ORM-Decidable Sets
  53. Altmetric Badge
    Chapter 52 On Accepting Networks of Splicing Processors of Size 3
  54. Altmetric Badge
    Chapter 53 Liquid Computing
  55. Altmetric Badge
    Chapter 54 Quotients over Minimal Type Theory
  56. Altmetric Badge
    Chapter 55 Hairpin Completion Versus Hairpin Reduction
  57. Altmetric Badge
    Chapter 56 Hierarchies in Fragments of Monadic Strict NP
  58. Altmetric Badge
    Chapter 57 Membrane Systems and Their Application to Systems Biology
  59. Altmetric Badge
    Chapter 58 Some Aspects of a Complexity Theory for Continuous Time Systems
  60. Altmetric Badge
    Chapter 59 Enumerations and Torsion Free Abelian Groups
  61. Altmetric Badge
    Chapter 60 Locally Computable Structures
  62. Altmetric Badge
    Chapter 61 Logic and Control
  63. Altmetric Badge
    Chapter 62 Nash Stability in Additively Separable Hedonic Games Is NP-Hard
  64. Altmetric Badge
    Chapter 63 Comparing Notions of Computational Entropy
  65. Altmetric Badge
    Chapter 64 From Logic to Physics: How the Meaning of Computation Changed over Time
  66. Altmetric Badge
    Chapter 65 Theories and Ordinals: Ordinal Analysis
  67. Altmetric Badge
    Chapter 66 Computable Riemann Surfaces
  68. Altmetric Badge
    Chapter 67 Rank Lower Bounds for the Sherali-Adams Operator
  69. Altmetric Badge
    Chapter 68 Infinite Computations and a Hierarchy in Δ 3
  70. Altmetric Badge
    Chapter 69 Natural Computing: A Natural and Timely Trend for Natural Sciences and Science of Computation
  71. Altmetric Badge
    Chapter 70 Biochemical Reactions as Computations
  72. Altmetric Badge
    Chapter 71 Doing Without Turing Machines: Constructivism and Formal Topology
  73. Altmetric Badge
    Chapter 72 Problems as Solutions
  74. Altmetric Badge
    Chapter 73 A Useful Undecidable Theory
  75. Altmetric Badge
    Chapter 74 On the Computational Power of Flip-Flop Proteins on Membranes
  76. Altmetric Badge
    Chapter 75 Computability and Incomputability
  77. Altmetric Badge
    Chapter 76 A Jump Inversion Theorem for the Degree Spectra
  78. Altmetric Badge
    Chapter 77 Cupping $\Delta_2^0$ Enumeration Degrees to 0 e ′
  79. Altmetric Badge
    Chapter 78 What Is the Lesson of Quantum Computing?
  80. Altmetric Badge
    Chapter 79 Does the Cell Compute?
  81. Altmetric Badge
    Chapter 80 Computational Complexity of Constraint Satisfaction
  82. Altmetric Badge
    Chapter 81 Finding Most Likely Solutions
  83. Altmetric Badge
    Chapter 82 Turing Unbound: Transfinite Computation
  84. Altmetric Badge
    Chapter 83 Computability in Amorphous Structures
  85. Altmetric Badge
    Chapter 84 The Complexity of Small Universal Turing Machines
  86. Altmetric Badge
    Chapter 85 Approximating Generalized Multicut on Trees
  87. Altmetric Badge
    Chapter 86 (Short) Survey of Real Hypercomputation
  88. Altmetric Badge
    Chapter 87 Erratum:Characterizing Programming Systems Allowing Program Self-reference
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • In the top 25% of all research outputs scored by Altmetric
  • High Attention Score compared to outputs of the same age (96th percentile)
  • High Attention Score compared to outputs of the same age and source (98th percentile)

Mentioned by

news
1 news outlet
blogs
1 blog
twitter
5 X users

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
9 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
Computation and Logic in the Real World
Published by
Lecture notes in computer science, January 2007
DOI 10.1007/978-3-540-73001-9
ISBNs
978-3-54-073000-2, 978-3-54-073001-9
Authors

Cooper, S. B, Löwe, Benedikt, Sorbi, Andrea

Editors

Barry S. Cooper, Benedikt Löwe, Andrea Sorbi

X Demographics

X Demographics

The data shown below were collected from the profiles of 5 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 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 2 22%
Australia 1 11%
Portugal 1 11%
Brazil 1 11%
Japan 1 11%
Unknown 3 33%

Demographic breakdown

Readers by professional status Count As %
Researcher 3 33%
Student > Ph. D. Student 3 33%
Other 1 11%
Professor 1 11%
Student > Master 1 11%
Other 0 0%
Readers by discipline Count As %
Computer Science 2 22%
Engineering 2 22%
Physics and Astronomy 2 22%
Business, Management and Accounting 1 11%
Philosophy 1 11%
Other 1 11%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 17. 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 19 July 2022.
All research outputs
#2,073,155
of 24,980,180 outputs
Outputs from Lecture notes in computer science
#344
of 8,153 outputs
Outputs of similar age
#6,641
of 169,804 outputs
Outputs of similar age from Lecture notes in computer science
#2
of 59 outputs
Altmetric has tracked 24,980,180 research outputs across all sources so far. Compared to these this one has done particularly well and is in the 91st percentile: it's in the top 10% of all research outputs ever tracked by Altmetric.
So far Altmetric has tracked 8,153 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.2. This one has done particularly well, scoring higher than 95% 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 169,804 tracked outputs that were published within six weeks on either side of this one in any source. This one has done particularly well, scoring higher than 96% of its contemporaries.
We're also able to compare this research output to 59 others from the same source and published within six weeks on either side of this one. This one has done particularly well, scoring higher than 98% of its contemporaries.