Table of Contents: “...Invited Paper -- Moment Semantics for Reversible Rule-Based Systems -- Reversible machines -- A Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible Ordered Restarting Automata -- Reversible Languages...”

Full text 

Full text 

Table of Contents: “... Engineering in the Heterogeneous Tool Set -- A coinductive animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection -- A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks...”

Full text 

Full text 

Table of Contents: “... Arithmetic in Algorithmic Self-assembly -- Pattern Formation by Spatially Organized Approximate Majority Reactions -- Mecobo: A Hardware and Software Platform for in Materio Evolution -- Compact Realization of Reversible Turing Machines by 2-State Reversible Logic...”

Full text 

Table of Contents: “... Techniques -- Simulating Turing Machines with Polarizationless P Systems with Active Membranes -- Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms -- Polymorphic P Systems with Non-cooperative Rules...”

Full text 

Table of Contents: “...Basic concepts of computability and new Turing machines -- Logics including non-classical ones -- Reasoning -- Learning -- Decision support systems.-Machine intelligence and epistemology and philosophy of symbolic mathematical computing....”

Full text 

Table of Contents: “... Refinement -- Data Refinement in Isabelle/HOL -- Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable -- Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω1 -- Mechanising Turing Machines and Computability Theory in Isabelle/HOL.-A...”

Full text 

Table of Contents: “...: Programming Turing Machines -- Roger Apéry: Explaining Proofs -- Ron Rivest: Mathematical Gifts -- Frank Ryan: The Quarterback Teaches -- Leonard Schulman: Associativity -- Paul Seymour: Graph Minors -- Alfred Tarski: Lower Bounds on Theories -- Ken Thompson...”

Full text 

Full text 

Table of Contents: “...Ultrametric Finite Automata and Turing Machines -- Recompression: Word Equations and Beyond -- Joint Spectral Characteristics: A Tale of Three Disciplines -- Unambiguous Finite Automata -- An Explicit Formula for the Intersection of Two Polynomials...”

Full text 

Table of Contents: “... of Two-Way Transducers.- A Conditional Superpolynomial Lower Bound for Extended Resolution -- A Turing Machine Distance Hierarchy.Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown...”

Full text 

Table of Contents: “... -- Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible MOQA...”

Full text 

Table of Contents: “... Computers -- Quantum Turing Machines: Local Transition, Preparation, Measurement, and Halting -- A New Approach to Quantum Computation -- Hypersensitivity to Perturbation on an NMR Quantum Computer -- Quantum Networks for Distributed Quantum Information...”

Full text 

Full text 

Full text 

Full text