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
Imprint Cham, Switzerland : Springer, 2022.
Language English
Description 1 online resource
Other Standard Identifiers 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