![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
RC 2021: Virtual Event
- Shigeru Yamashita
, Tetsuo Yokoyama
:
Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings. Lecture Notes in Computer Science 12805, Springer 2021, ISBN 978-3-030-79836-9
Invited Talks
- Kenichi Morita
:
How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton? 3-21 - Atsushi Matsuo:
Variational Quantum Eigensolver and Its Applications. 22-41
Programming and Programming Languages
- Torben Ægidius Mogensen:
Reversible Functional Array Programming. 45-63 - Martin Kutrib
, Uwe Meyer
, Niklas Deworetzki
, Marc Schuster:
Compiling Janus to RSSA. 64-78 - Giovanni Fabbretti
, Ivan Lanese
, Jean-Bernard Stefani
:
Causal-Consistent Debugging of Distributed Erlang Programs. 79-95 - Lasse Hay-Schmidt, Robert Glück
, Martin Holm Cservenka, Tue Haulund:
Towards a Unified Language Architecture for Reversible Object-Oriented Programming. 96-106
Reversible Concurrent Computation
- Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
:
Towards a Truly Concurrent Semantics for Reversible CCS. 109-125 - Ivan Lanese
, Iain Phillips
:
Forward-Reverse Observational Equivalences in CCSK. 126-143 - Clément Aubert
, Doriana Medic
:
Explicit Identifiers and Contexts in Reversible Concurrent Calculus. 144-162 - Martin Vassor
:
Reversibility and Predictions. 163-181
Theory and Foundations
- Keisuke Nakano
:
A Tangled Web of 12 Lens Laws. 185-203 - Armando B. Matos, Luca Paolini
, Luca Roversi
:
Splitting Recursion Schemes into Reversible and Classical Interacting Threads. 204-213 - Antonio Cau
, Stefan Kuhn
, James Hoey
:
Reversibility of Executable Interval Temporal Logic Specifications. 214-223
Circuit Synthesis
- Lukas Burgholzer
, Rudy Raymond
, Indranil Sengupta, Robert Wille:
Efficient Construction of Functional Representations for Quantum Algorithms. 227-241 - Philipp Niemann, Luca Müller, Rolf Drechsler
:
Finding Optimal Implementations of Non-native CNOT Gates Using SAT. 242-255 - Evan E. Dobbs, Robert Basmadjian, Alexandru Paler, Joseph S. Friedman:
Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network. 256-265 - Claudio Moraga:
OR-Toffoli and OR-Peres Reversible Gates. 266-273
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.