↓ Skip to main content
What is this page? Embed badge

Reversible Computation

Overview of attention for book
Cover of 'Reversible Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Reversible Computation
  3. Altmetric Badge
    Chapter 2 One-Way Reversible Multi-head Finite Automata
  4. Altmetric Badge
    Chapter 3 A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads
  5. Altmetric Badge
    Chapter 4 Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine
  6. Altmetric Badge
    Chapter 5 Isomorphic Interpreters from Logically Reversible Abstract Machines
  7. Altmetric Badge
    Chapter 6 Synthesizing Loops for Program Inversion
  8. Altmetric Badge
    Chapter 7 Frugal Encoding in Reversible $\mathcal{MOQA}$ : A Case Study for Quicksort
  9. Altmetric Badge
    Chapter 8 Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots
  10. Altmetric Badge
    Chapter 9 Reversible and Quantum Circuit Optimization: A Functional Approach
  11. Altmetric Badge
    Chapter 10 Properties of Quantum Templates
  12. Altmetric Badge
    Chapter 11 Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits
  13. Altmetric Badge
    Chapter 12 Design of an Online Testable Ternary Circuit from the Truth Table
  14. Altmetric Badge
    Chapter 13 Garbageless Reversible Implementation of Integer Linear Transformations
  15. Altmetric Badge
    Chapter 14 Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1
  16. Altmetric Badge
    Chapter 15 Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
  17. Altmetric Badge
    Chapter 16 Using π DDs in the Design of Reversible Circuits
  18. Altmetric Badge
    Chapter 17 A Verification Technique for Reversible Process Algebra
  19. Altmetric Badge
    Chapter 18 A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
  20. Altmetric Badge
    Chapter 19 Controlled Reversibility and Compensations
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 tweeter

Citations

dimensions_citation
1 Dimensions
Summary Twitter Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Reversible Computation
Published by
Springer Berlin Heidelberg, January 2013
DOI 10.1007/978-3-642-36315-3
ISBNs
978-3-64-236314-6, 978-3-64-236315-3
Editors

Glück, Robert, Yokoyama, Tetsuo

View on publisher site
Twitter Demographics

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.