Reversible Computation 17th International Conference, RC 2025, Odense, Denmark, July 3–4, 2025, Proceedings /
This book constitutes the refereed proceedings of the 17th International Conference on Reversible Computation, RC 2025, held in Odense, Denmark, during July 3–4, 2025. The 7 full papers and 5 short papers included in this book were carefully reviewed and selected from 22 submissions.The conference b...
Saved in:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Electronisk eBog |
| Sprog: | engelsk |
| Udgivet: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Udgivelse: | 1st ed. 2025. |
| Serier: | Lecture Notes in Computer Science,
15716 |
| Fag: | |
| Online adgang: | https://doi.org/10.1007/978-3-031-97063-4 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Indholdsfortegnelse:
- -- Tallulah, a Tool to Support the Axiomatic Approach to Causal Consistent Reversibility.
- Independence and Causality in the Reversible Concurrent Setting.
- Encoding Choice and Replication in rollπ.
- Implementation of an Optimally Bounded Algorithm for Quantum State Preparation.
- Universal Graph Theory Operations for Graph State Preparation.
- On Exact Sizes of Minimal CNOT Circuits.
- Two small quantum building-blocks suffice.
- Approximate Optimisation of Quantum Circuits using the ZX-calculus with Phase Squashing.
- RevMiGo: Reversible channel-based communication in Go language.
- Towards a Characterization of Two-way Bijections in a Reversible Computational Model.
- Ancilla-free Quantum Adder with Sublinear Depth.
- Implementing Reversible Neural Networks.