Reversible Computation [E-Book] : 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings / edited by Shigeru Yamashita, Tetsuo Yokoyama.
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in...
Saved in:
Full text |
|
Personal Name(s): | Yamashita, Shigeru, editor |
Yokoyama, Tetsuo, editor | |
Edition: |
1st edition 2021. |
Imprint: |
Cham :
Springer,
2021
|
Physical Description: |
XII, 275 pages 137 illustrations, 57 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783030798376 |
DOI: |
10.1007/978-3-030-79837-6 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Programming and Software Engineering ;
12805 /* Depending on the record driver, $field may either be an array with "name" and "number" keys or a flat string containing only the series name. We should account for both cases to maximize compatibility. */?> Lecture Notes in Computer Science |
Subject (LOC): |
- Invited Talks
- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton
- Variational Quantum Eigensolver and Its Applications
- Programming and Programming Languages
- Reversible Functional Array Programming
- Compiling Janus to RSSA
- Causal-Consistent Debugging of Distributed Erlang Programs
- Towards a Unified Language Architecture for Reversible Object-Oriented Programming
- Reversible Concurrent Computation
- Towards a truly concurrent semantics for reversible CCS
- Forward-Reverse Observational Equivalences in CCSK
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus
- Reversibility and predictions
- Theory and Foundations
- A Tangled Web of 12 Lens Laws
- Splitting recursion schemes into reversible and classical interacting threads
- Reversibility of Executable Interval Temporal Logic Specifications
- Circuit Synthesis
- Efficient Construction of Functional Representations for Quantum Algorithms
- Finding Optimal Implementations of Non-native CNOT Gates using SAT
- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network
- OR-Toffoli and OR-Peres Reversible Gates.