Models of Computation in Context

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata
3. Altmetric Badge
   Chapter 2 Three Theorems on n -REA Degrees: Proof-Readers and Verifiers
4. Altmetric Badge
   Chapter 3 A Computational Approach to an Alternative Working Environment for the Constructible Universe
5. Altmetric Badge
   Chapter 4 Automatic Learners with Feedback Queries
6. Altmetric Badge
   Chapter 5 Splicing Systems: Accepting Versus Generating
7. Altmetric Badge
   Chapter 6 Effective Categoricity of Injection Structures
8. Altmetric Badge
   Chapter 7 Consistency and Optimality
9. Altmetric Badge
   Chapter 8 Cupping and Diamond Embeddings: A Unifying Approach
10. Altmetric Badge
    Chapter 9 On the Kolmogorov Complexity of Continuous Real Functions
11. Altmetric Badge
    Chapter 10 Defining Languages by Forbidding-Enforcing Systems
12. Altmetric Badge
    Chapter 11 Axiomatizing Resource Bounds for Measure
13. Altmetric Badge
    Chapter 12 Complexity Issues for Preorders on Finite Labeled Forests
14. Altmetric Badge
    Chapter 13 Randomness and the Ergodic Decomposition
15. Altmetric Badge
    Chapter 14 Computability of the Radon-Nikodym Derivative
16. Altmetric Badge
    Chapter 15 Extracting Winning Strategies in Update Games
17. Altmetric Badge
    Chapter 16 A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA 0
18. Altmetric Badge
    Chapter 17 Computability Power of Mobility in Enhanced Mobile Membranes
19. Altmetric Badge
    Chapter 18 Nature-Based Problems in Cellular Automata
20. Altmetric Badge
    Chapter 19 Multi-Resolution Cellular Automata for Real Computation
21. Altmetric Badge
    Chapter 20 Deciding According to the Shortest Computations
22. Altmetric Badge
    Chapter 21 Computation of Similarity—Similarity Search as Computation
23. Altmetric Badge
    Chapter 22 Adapting Rabin’s Theorem for Differential Fields
24. Altmetric Badge
    Chapter 23 Quantum Information Channels in Curved Spacetime
25. Altmetric Badge
    Chapter 24 Recognizing Synchronizing Automata with Finitely Many Minimal Synchronizing Words is PSPACE-Complete
26. Altmetric Badge
    Chapter 25 Consecutive Ones Property Testing: Cut or Swap
27. Altmetric Badge
    Chapter 26 Current Developments on Computational Modeling Using P Systems
28. Altmetric Badge
    Chapter 27 Automata on Ordinals and Linear Orders
29. Altmetric Badge
    Chapter 28 A Fine Hierarchy of ω -Regular k -Partitions
30. Altmetric Badge
    Chapter 29 On a Relative Computability Notion for Real Functions
31. Altmetric Badge
    Chapter 30 Towards an Axiomatic System for Kolmogorov Complexity
32. Altmetric Badge
    Chapter 31 A New Optimum-Time Firing Squad Synchronization Algorithm for Two-Dimensional Rectangle Arrays: One-Sided Recursive Halving Based
33. Altmetric Badge
    Chapter 32 Conservative Extensions of Abstract Structures
34. Altmetric Badge
    Chapter 33 On a Hierarchy of Plus-Cupping Degrees