LEADER 02817nam  22004935  450 
001 996664549603316
005 20250621130221.0
010   $a3-031-97063-2
024 7 $a10.1007/978-3-031-97063-4
035   $a(MiAaPQ)EBC32174181
035   $a(Au-PeEL)EBL32174181
035   $a(CKB)39419167700041
035   $a(DE-He213)978-3-031-97063-4
035   $a(OCoLC)1525619231
035   $a(EXLCZ)9939419167700041
100   $a20250621d2025      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aReversible Computation $e17th International Conference, RC 2025, Odense, Denmark, July 3?4, 2025, Proceedings /$fedited by Robert Glück, Robin Kaarsgaard
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (334 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15716
311 08$a3-031-97062-4 
327   $a -- 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.
330   $aThis 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 brought together researchers from computer science, mathematics, engineering, and physics to discuss new developments and directions for future research in the area of Reversible Computation.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15716
606   $aLogic design
606   $aLogic Design
615  0$aLogic design.
615 14$aLogic Design.
676   $a621.395
700   $aGlück$b Robert$01432745
701   $aKaarsgaard$b Robin$01830237
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996664549603316
996   $aReversible Computation$94400542
997   $aUNISA