LEADER 03673nam  22006615  450 
001 9910580158403321
005 20250425144044.0
010   $a3-031-09005-5
024 7 $a10.1007/978-3-031-09005-9
035   $a(MiAaPQ)EBC7023498
035   $a(Au-PeEL)EBL7023498
035   $a(CKB)24094269600041
035   $a(PPN)268858527
035   $a(DE-He213)978-3-031-09005-9
035   $a(EXLCZ)9924094269600041
100   $a20220617d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aReversible Computation $e14th International Conference, RC 2022, Urbino, Italy, July 5?6, 2022, Proceedings /$fedited by Claudio Antares Mezzina, Krzysztof Podlaski
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (245 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13354
311 08$aPrint version: Mezzina, Claudio Antares Reversible Computation Cham : Springer International Publishing AG,c2022 9783031090042 
320   $aIncludes bibliographical references and index.
327   $aReversible 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13354
606   $aLogic design
606   $aSoftware engineering
606   $aMachine theory
606   $aComputer systems
606   $aLogic Design
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aComputer System Implementation
615  0$aLogic design.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aComputer systems.
615 14$aLogic Design.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer System Implementation.
676   $a004.015113
676   $a004
702   $aMezzina$b Claudio Antares
702   $aPodlaski$b Krzysztof
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910580158403321
996   $aReversible Computation$92889238
997   $aUNINA