![](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 2020: Oslo, Norway
- Ivan Lanese
, Mariusz Rawski
:
Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings. Lecture Notes in Computer Science 12227, Springer 2020, ISBN 978-3-030-52481-4
Invited Talks
- Marek A. Perkowski:
Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems. 3-32
Foundations
- Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna
, Irek Ulidowski:
Reversible Occurrence Nets and Causal Reversible Prime Event Structures. 35-53 - Keisuke Nakano
:
Involutory Turing Machines. 54-70 - Eva Graversen
, Iain Phillips
, Nobuko Yoshida
:
Event Structures for the Reversible Early Internal π-Calculus. 71-90
Programming Languages
- Torben Ægidius Mogensen:
Hermes: A Language for Light-Weight Encryption. 93-110 - Lars Kristiansen:
Reversible Programming Languages Capturing Complexity Classes. 111-127 - Armando B. Matos, Luca Paolini
, Luca Roversi
:
On the Expressivity of Total Reversible Programming Languages. 128-143 - Kostia Chardonnet, Alexis Saurin, Benoît Valiron
:
Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. 144-152 - Peng Fu
, Kohei Kishida, Neil J. Ross
, Peter Selinger:
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. 153-168 - Chao-Hong Chen
, Vikraman Choudhury
, Jacques Carette
, Amr Sabry
:
Fractional Types - Expressive and Safe Space Management for Ancilla Bits. 169-186
Circuit Synthesis
- Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron
, Simon Martiel, Cyril Allouche:
Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem. 189-205 - Tim Boykett
:
Maximality of Reversible Gate Sets. 206-217 - D. Michael Miller, Gerhard W. Dueck:
Search-Based Transformation Synthesis for 3-Valued Reversible Circuits. 218-236
Tools and Applications
- Carlos Galindo
, Naoki Nishida
, Josep Silva
, Salvador Tamarit
:
ReverCSP: Time-Travelling in CSP Computations. 239-245 - Germán Vidal
:
Reversible Computations in Logic Programming. 246-254 - Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
:
Towards a Formal Account for Software Transactional Memory. 255-263 - Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara:
Encoding Reversing Petri Nets in Answer Set Programming. 264-271 - Takashi Ikeda, Shoji Yuen:
A Reversible Runtime Environment for Parallel Programs. 272-279
![](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.