default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRC 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
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.
last updated on 2025-10-29 01:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
