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