Reversible computation : 14th international conference, RC 2022 / Claudio Antares Mezzina, Krzysztof Podlaski (eds.).
RC (Workshop : Reversible Computation) (14th : 2022 : Urbino, Italy); Mezzina, Claudio Antares.; Podlaski, Krzysztof.
2022
QA76.9.R48 R3 2022eb
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 : 14th international conference, RC 2022 / Claudio Antares Mezzina, Krzysztof Podlaski (eds.).
Meeting Name
RC (Workshop : Reversible Computation) (14th : 2022 : Urbino, Italy)
ISBN
9783031090059 (electronic bk.)
3031090055 (electronic bk.)
3031090047
9783031090042
DOI
https://doi.org/10.1007/978-3-031-09005-9
Publication Details
Cham, Switzerland : Springer, 2022.
Language
English
Description
1 online resource
Item Number
10.1007/978-3-031-09005-9 doi
Call Number
QA76.9.R48 R3 2022eb
Dewey Decimal Classification
004
Summary
This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021. The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: Reversible and Quantum Circuits; Applications of quantum Computing; Foundations and Applications.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed July 11, 2022).
Added Author
Mezzina, Claudio Antares.
Podlaski, Krzysztof.
Series
Lecture notes in computer science ; 13354.
Available in Other Form
Print version: 9783031090042
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Reversible and Quantum Circuits
Reversible computation in integrated photonics
Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates
Constructing all qutrit controlled Clifford+T gates in Clifford+T
Fast Control for Reversible Processors
Designing a Reversible Stack Machine
Applications of Quantum Computing
Directed Graph Encoding in Quantum Computing supporting Edge-Failures
Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think
Foundations and Applications
Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean
Algeo: An Algebraic Approach to Reversibility
Concurrencies in Reversible Concurrent Calculi
The @-Calculus
Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Reversibility in Erlang: Imperative Constructs
A Reversible Debugger for Imperative Parallel Programs with Contracts
Towards Causal-consistent Reversibility of Imperative Concurrent Programs.

Browse Subjects

Show more subjects...

Statistics

from
to
Export