Reversible Computation
Download Reversible Computation PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Reversible Computation book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Reversible Computation
Author: Torben Ægidius Mogensen
language: en
Publisher: Springer Nature
Release Date: 2024-05-28
This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Toruń, Poland, during July 4–5, 2024. The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Models of Reversible Computation; Experiments in Reversible Programming; Reversible and Quantum Programming Languages; and Synthesis, Verification, and Analysis of Reversible and Quantum Systems.
Reversible Computation
Author: Claudio Antares Mezzina
language: en
Publisher: Springer Nature
Release Date: 2022-06-28
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.
Reversible Computation
This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. The papers are organized in the following topical sections: foundations; reversible circuit synthesis; reversible circuit optimization; testing and fault tolerance; and quantum circuits.