Abstract is missing.
- Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical ProblemsMarek A. Perkowski. 3-32 [doi]
- Reversible Occurrence Nets and Causal Reversible Prime Event StructuresHernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips 0001, G. Michele Pinna, Irek Ulidowski. 35-53 [doi]
- Involutory Turing MachinesKeisuke Nakano. 54-70 [doi]
- Event Structures for the Reversible Early Internal π-CalculusEva Graversen, Iain Phillips 0001, Nobuko Yoshida. 71-90 [doi]
- Hermes: A Language for Light-Weight EncryptionTorben Ægidius Mogensen. 93-110 [doi]
- Reversible Programming Languages Capturing Complexity ClassesLars Kristiansen. 111-127 [doi]
- On the Expressivity of Total Reversible Programming LanguagesArmando B. Matos, Luca Paolini, Luca Roversi. 128-143 [doi]
- Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-ProgressKostia Chardonnet, Alexis Saurin, Benoît Valiron. 144-152 [doi]
- A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-QuipperPeng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger. 153-168 [doi]
- Fractional Types - Expressive and Safe Space Management for Ancilla BitsChao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry. 169-186 [doi]
- Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding ProblemTimothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche. 189-205 [doi]
- Maximality of Reversible Gate SetsTim Boykett. 206-217 [doi]
- Search-Based Transformation Synthesis for 3-Valued Reversible CircuitsD. Michael Miller, Gerhard W. Dueck. 218-236 [doi]
- ReverCSP: Time-Travelling in CSP ComputationsCarlos Galindo, Naoki Nishida 0001, Josep Silva, Salvador Tamarit. 239-245 [doi]
- Reversible Computations in Logic ProgrammingGermán Vidal. 246-254 [doi]
- Towards a Formal Account for Software Transactional MemoryDoriana Medic, Claudio Antares Mezzina, Iain Phillips 0001, Nobuko Yoshida. 255-263 [doi]
- Encoding Reversing Petri Nets in Answer Set ProgrammingYannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara. 264-271 [doi]
- A Reversible Runtime Environment for Parallel ProgramsTakashi Ikeda, Shoji Yuen. 272-279 [doi]