Logic and Theory of Algorithms

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Deterministic Graphical Games Revisited
3. Altmetric Badge
   Chapter 2 Program Schemes with Deep Pushdown Storage
4. Altmetric Badge
   Chapter 3 Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
5. Altmetric Badge
   Chapter 4 Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
6. Altmetric Badge
   Chapter 5 Pure Iteration and Periodicity
7. Altmetric Badge
   Chapter 6 Programming Experimental Procedures for Newtonian Kinematic Machines
8. Altmetric Badge
   Chapter 7 Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time
9. Altmetric Badge
   Chapter 8 A Summation Algorithm from 11th Century China
10. Altmetric Badge
    Chapter 9 Sequential Automatic Algebras
11. Altmetric Badge
    Chapter 10 Logic and Theory of Algorithms
12. Altmetric Badge
    Chapter 11 The Algebraic Counterpart of the Wagner Hierarchy
13. Altmetric Badge
    Chapter 12 Computing by Observing: A Brief Survey
14. Altmetric Badge
    Chapter 13 A Quantum Information-Theoretic Proof of the Relation between Horn’s Problem and the Littlewood-Richardson Coefficients
15. Altmetric Badge
    Chapter 14 Pell Equations and Weak Regularity Principles
16. Altmetric Badge
    Chapter 15 Computable Categoricity of Graphs with Finite Components
17. Altmetric Badge
    Chapter 16 P Automata: Membrane Systems as Acceptors
18. Altmetric Badge
    Chapter 17 On the Processing Power of Protozoa
19. Altmetric Badge
    Chapter 18 Computing Equilibria in Large Games We Play
20. Altmetric Badge
    Chapter 19 A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC
21. Altmetric Badge
    Chapter 20 Phase Transitions for Weakly Increasing Sequences
22. Altmetric Badge
    Chapter 21 Succinct NP Proofs from an Extractability Assumption
23. Altmetric Badge
    Chapter 22 Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)
24. Altmetric Badge
    Chapter 23 Subrecursive Complexity of Identifying the Ramsey Structure of Posets
25. Altmetric Badge
    Chapter 24 Solving Simple Stochastic Games
26. Altmetric Badge
    Chapter 25 The Shrinking Property for NP and coNP
27. Altmetric Badge
    Chapter 26 On the Hardness of Truthful Online Auctions with Multidimensional Constraints
28. Altmetric Badge
    Chapter 27 Effective Dimensions and Relative Frequencies
29. Altmetric Badge
    Chapter 28 Reachability in Linear Dynamical Systems
30. Altmetric Badge
    Chapter 29 Hybrid Functional Interpretations
31. Altmetric Badge
    Chapter 30 The Algorithm Concept – Tool for Historiographic Interpretation or Red Herring?
32. Altmetric Badge
    Chapter 31 Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion
33. Altmetric Badge
    Chapter 32 Logic and Theory of Algorithms
34. Altmetric Badge
    Chapter 33 Implementing Spi Calculus Using Nominal Techniques
35. Altmetric Badge
    Chapter 34 An Enhanced Theory of Infinite Time Register Machines
36. Altmetric Badge
    Chapter 35 Many Facets of Complexity in Logic
37. Altmetric Badge
    Chapter 36 On the Computational Power of Enhanced Mobile Membranes
38. Altmetric Badge
    Chapter 37 Recursion in Higher Types and Resource Bounded Turing Machines
39. Altmetric Badge
    Chapter 38 Computability and Complexity in Self-assembly
40. Altmetric Badge
    Chapter 39 Extraction in Coq: An Overview
41. Altmetric Badge
    Chapter 40 Joining to High Degrees
42. Altmetric Badge
    Chapter 41 Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem
43. Altmetric Badge
    Chapter 42 Interpreting Localized Computational Effects Using Operators of Higher Type
44. Altmetric Badge
    Chapter 43 Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants
45. Altmetric Badge
    Chapter 44 Updatable Timed Automata with Additive and Diagonal Constraints
46. Altmetric Badge
    Chapter 45 First-Order Model Checking Problems Parameterized by the Model
47. Altmetric Badge
    Chapter 46 Domain Theory and the Causal Structure of Space-Time
48. Altmetric Badge
    Chapter 47 Recursion on Nested Datatypes in Dependent Type Theory
49. Altmetric Badge
    Chapter 48 Perfect Local Computability and Computable Simulations
50. Altmetric Badge
    Chapter 49 Complete Determinacy and Subsystems of Second Order Arithmetic
51. Altmetric Badge
    Chapter 50 Internal Density Theorems for Hierarchies of Continuous Functionals
52. Altmetric Badge
    Chapter 51 Two-by-Two Substitution Systems and the Undecidability of the Domino Problem
53. Altmetric Badge
    Chapter 52 The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF
54. Altmetric Badge
    Chapter 53 Upper Semilattices in Many-One Degrees
55. Altmetric Badge
    Chapter 54 Union of Reducibility Candidates for Orthogonal Constructor Rewriting
56. Altmetric Badge
    Chapter 55 The Quantum Complexity of Markov Chain Monte Carlo
57. Altmetric Badge
    Chapter 56 Topological Dynamics of 2D Cellular Automata
58. Altmetric Badge
    Chapter 57 Complexity of Aperiodicity for Topological Properties of Regular ω-Languages
59. Altmetric Badge
    Chapter 58 ω-Degree Spectra
60. Altmetric Badge
    Chapter 59 Cupping Classes of $\Sigma^0_2$ Enumeration Degrees
61. Altmetric Badge
    Chapter 60 Principal Typings for Explicit Substitutions Calculi
62. Altmetric Badge
    Chapter 61 How We Think of Computing Today