Reversible computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings / edited by Ivan Lanese, Mariusz Rawski.
RC (Workshop : Reversible Computation) (12th : 2020 : Online); Lanese, Ivan.; Rawski, Mariusz.
2020
QA76.9.R48
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Reversible computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings / edited by Ivan Lanese, Mariusz Rawski.
Meeting Name RC (Workshop : Reversible Computation) (12th : 2020 : Online)
ISBN 9783030524821 (electronic book)
3030524825 (electronic book)
9783030524814
DOI https://doi.org/10.1007/978-3-030-52
Publication Details Cham : Springer, 2020.
Language English
Description 1 online resource (287 pages).
Item Number 10.1007/978-3-030-52
Call Number QA76.9.R48
Dewey Decimal Classification 004
Summary This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
Note International conference proceedings.
"This volume contains the papers presented at the 12th Conference on Reversible Computation (RC 2020), held during July 9-10, 2020, online due to the COVID-19 pandemic, while initially expected to take place virtually in Oslo, Norway[...]"-- Preface.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Description based on print version record.
Added Author Lanese, Ivan.
Rawski, Mariusz.
Series Lecture notes in computer science ; 12227.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Reversible Computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Reversible Occurrence Nets and Causal Reversible Event Structures
Involutory Turing Machines
Event structures for the reversible early internal pi-calculus
Hermes: A Language for Light-Weight Encryption
Reversible programming languages capturing complexity classes
On the expressivity of total reversible programming languages
Toward a Curry-Howard Correspondence for Linear, Reversible Computation
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
Circuit Synthesis
Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem
Maximality of reversible gate sets
Search-based Transformation Synthesis for 3-valued Reversible Circuits
ReverCSP: Time-travelling in CSP computations
Reversible Computations in Logic Programming
Towards a formal account for software transactional memory
Encoding Reversing Petri Nets in Answer Set Programming
A Reversible Runtime Environment for Parallel Programs.

Browse Subjects

Show more subjects...

Statistics

from
to
Export