TY  - BOOK
AU  - Kutrib,Martin
AU  - Meyer,Uwe
ED  - SpringerLink (Online service)
TI  - Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031381003
AV  - QA76.9.L63 
U1  - 621.395 23
PY  - 2023///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Logic design
KW  - Logic Design
N1  - Acceso multiusuario; Invited Paper -- Energy complexity of computation -- Foundations -- Replications in Reversible Concurrent Calculi -- Towards a Taxonomy for Reversible Computation Approaches -- Computational Complexity of Reversible Reaction Systems -- Reversible Programming -- Optimization of Reversible Control Flow Graphs -- Tail recursion transformation for invertible functions -- Saving Memory Space in Deep Neural Networks by Recomputing: A Survey -- Towards a Dereversibilizer: Fewer Asserts, Statically -- Quantum Computing -- Quantum String Matching Unfolded and Extended -- Optimizing Quantum Space using Spooky Pebble Games -- Uncomputation in the Qrisp high-level Quantum Programming Framework -- Quantum Circuits -- Improved Synthesis of Tooli-Hadamard Circuits -- Implementation of a Reversible Distributed Calculus -- Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture -- Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures
N2  - This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in Giessen, Germany, during July 18-19, 2023. The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows: Foundations; Reversible Programming; Quantum Computing; and Quantum Circuits
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-38100-3
ER  -