Reversible Computation

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Concurrency and Reversibility
3. Altmetric Badge
   Chapter 2 Reversible Computing Using Adiabatic Superconductor Logic
4. Altmetric Badge
   Chapter 3 Classical Control of Large-Scale Quantum Computers
5. Altmetric Badge
   Chapter 4 Degrees of Reversibility for DFA and DPDA
6. Altmetric Badge
   Chapter 5 Trace Complexity of Chaotic Reversible Cellular Automata
7. Altmetric Badge
   Chapter 6 Arbitration and Reversibility of Parallel Delay-Insensitive Modules
8. Altmetric Badge
   Chapter 7 Reference Counting for Reversible Languages
9. Altmetric Badge
   Chapter 8 Constructive Reversible Logic Synthesis for Boolean Functions with Special Properties
10. Altmetric Badge
    Chapter 9 RevVis: Visualization of Structures and Properties in Reversible Circuits
11. Altmetric Badge
    Chapter 10 Templates for Positive and Negative Control Toffoli Networks
12. Altmetric Badge
    Chapter 11 Minimal Designs of Reversible Sequential Elements
13. Altmetric Badge
    Chapter 12 Quantum Circuit Optimization by Hadamard Gate Reduction
14. Altmetric Badge
    Chapter 13 Mapping NCV Circuits to Optimized Clifford+T Circuits
15. Altmetric Badge
    Chapter 14 2D Qubit Layout Optimization for Topological Quantum Computation
16. Altmetric Badge
    Chapter 15 Cross-Level Validation of Topological Quantum Circuits
17. Altmetric Badge
    Chapter 16 Equivalence Checking in Multi-level Quantum Systems
18. Altmetric Badge
    Chapter 17 BDD Operations for Quantum Graph States