001447851 000__ 03439cam\a2200541Ia\4500
001447851 001__ 1447851
001447851 003__ OCoLC
001447851 005__ 20230310004138.0
001447851 006__ m\\\\\o\\d\\\\\\\\
001447851 007__ cr\un\nnnunnun
001447851 008__ 220702s2022\\\\sz\\\\\\o\\\\\101\0\eng\d
001447851 019__ $$a1334104766
001447851 020__ $$a9783031090059$$q(electronic bk.)
001447851 020__ $$a3031090055$$q(electronic bk.)
001447851 020__ $$z3031090047
001447851 020__ $$z9783031090042
001447851 0247_ $$a10.1007/978-3-031-09005-9$$2doi
001447851 035__ $$aSP(OCoLC)1333921227
001447851 040__ $$aYDX$$beng$$cYDX$$dGW5XE$$dEBLCP$$dOCLCF$$dOCLCQ
001447851 049__ $$aISEA
001447851 050_4 $$aQA76.9.R48$$bR3 2022eb
001447851 08204 $$a004$$223/eng/20220711
001447851 1112_ $$aRC (Workshop : Reversible Computation)$$n(14th :$$d2022 :$$cUrbino, Italy)
001447851 24510 $$aReversible computation :$$b14th international conference, RC 2022 /$$cClaudio Antares Mezzina, Krzysztof Podlaski (eds.).
001447851 2463_ $$aRC 2022
001447851 260__ $$aCham, Switzerland :$$bSpringer,$$c2022.
001447851 300__ $$a1 online resource
001447851 4901_ $$aLecture notes in computer science ;$$v13354
001447851 500__ $$aIncludes author index.
001447851 5050_ $$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.
001447851 506__ $$aAccess limited to authorized users.
001447851 520__ $$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.
001447851 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 11, 2022).
001447851 650_0 $$aReversible computing$$vCongresses.
001447851 650_0 $$aComputer science$$xMathematics$$vCongresses.
001447851 650_0 $$aComputer logic$$vCongresses.
001447851 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001447851 655_0 $$aElectronic books.
001447851 7001_ $$aMezzina, Claudio Antares.
001447851 7001_ $$aPodlaski, Krzysztof.
001447851 77608 $$iPrint version: $$z3031090047$$z9783031090042$$w(OCoLC)1319076062
001447851 830_0 $$aLecture notes in computer science ;$$v13354.
001447851 852__ $$bebk
001447851 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-09005-9$$zOnline Access$$91397441.1
001447851 909CO $$ooai:library.usi.edu:1447851$$pGLOBAL_SET
001447851 980__ $$aBIB
001447851 980__ $$aEBOOK
001447851 982__ $$aEbook
001447851 983__ $$aOnline
001447851 994__ $$a92$$bISE