Abstract is missing.
- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton?Kenichi Morita. 3-21 [doi]
- Variational Quantum Eigensolver and Its ApplicationsAtsushi Matsuo. 22-41 [doi]
- Reversible Functional Array ProgrammingTorben Ægidius Mogensen. 45-63 [doi]
- Compiling Janus to RSSAMartin Kutrib, Uwe Meyer, Niklas Deworetzki, Marc Schuster. 64-78 [doi]
- Causal-Consistent Debugging of Distributed Erlang ProgramsGiovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. 79-95 [doi]
- Towards a Unified Language Architecture for Reversible Object-Oriented ProgrammingLasse Hay-Schmidt, Robert Glück, Martin Holm Cservenka, Tue Haulund. 96-106 [doi]
- Towards a Truly Concurrent Semantics for Reversible CCSHernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna. 109-125 [doi]
- Forward-Reverse Observational Equivalences in CCSKIvan Lanese, Iain Phillips 0001. 126-143 [doi]
- Explicit Identifiers and Contexts in Reversible Concurrent CalculusClément Aubert, Doriana Medic. 144-162 [doi]
- Reversibility and PredictionsMartin Vassor. 163-181 [doi]
- A Tangled Web of 12 Lens LawsKeisuke Nakano. 185-203 [doi]
- Splitting Recursion Schemes into Reversible and Classical Interacting ThreadsArmando B. Matos, Luca Paolini, Luca Roversi. 204-213 [doi]
- Reversibility of Executable Interval Temporal Logic SpecificationsAntonio Cau, Stefan Kuhn, James Hoey. 214-223 [doi]
- Efficient Construction of Functional Representations for Quantum AlgorithmsLukas Burgholzer, Rudy Raymond, Indranil Sengupta 0001, Robert Wille. 227-241 [doi]
- Finding Optimal Implementations of Non-native CNOT Gates Using SATPhilipp Niemann 0001, Luca Müller, Rolf Drechsler. 242-255 [doi]
- Fast Swapping in a Quantum Multiplier Modelled as a Queuing NetworkEvan E. Dobbs, Robert Basmadjian, Alexandru Paler, Joseph S. Friedman. 256-265 [doi]
- OR-Toffoli and OR-Peres Reversible GatesClaudio Moraga. 266-273 [doi]