Chapter 1 Reversible Computation

Chapter 2 One-Way Reversible Multi-head Finite Automata

Chapter 3 A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads

Chapter 4 Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine

Chapter 5 Isomorphic Interpreters from Logically Reversible Abstract Machines

Chapter 6 Synthesizing Loops for Program Inversion

Chapter 8 Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots

Chapter 9 Reversible and Quantum Circuit Optimization: A Functional Approach

Chapter 10 Properties of Quantum Templates

Chapter 11 Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits

Chapter 12 Design of an Online Testable Ternary Circuit from the Truth Table

Chapter 13 Garbageless Reversible Implementation of Integer Linear Transformations

Chapter 14 Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1

Chapter 15 Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams

Chapter 16 Using π DDs in the Design of Reversible Circuits

Chapter 17 A Verification Technique for Reversible Process Algebra

Chapter 18 A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway

Chapter 19 Controlled Reversibility and Compensations