03085nas 2200565 n 450 99000905098040332120240229084622.00035-6727000905098FED01000905098(Aleph)000905098FED01000905098CNRP 0004111220090724b19211999km-y0itaa50------baitaITauu--------Rivista internazionale di filosofia del diritto1921-1999Genova - Roma - MilanoGiuffrèTrimestrale0010009047502001RIFD. Rivista internazionale di filosofia del dirittoRivista internazionale di filosofia del diritto340.12340100Università degli studi di Roma La Sapienza.Istituto di filosofia del dirittoSocietà italiana di filosofia giuridica e politicaITACNP20090723http://acnp.cib.unibo.it/cgi-ser/start/it/cnr/dc-p1.tcl?catno=29210&person=false&language=ITALIANO&libr=&libr_th=unina1Biblioteche che possiedono il periodicoSE990009050980403321BRAU. Biblioteca di Ricerca di Area UmanisticaDOPPIO PROVENIENTE DA NA071 1988-1998;SP - Per. it. estinto 227FLFBCBRAU. Biblioteca di Ricerca di Area Umanistica1921;1927-1939;1949-1952;1956-1963;EST.ITALIA 123FLFBCBiblioteca Centrale della Facoltà di Giurisprudenza dell'Università di Napoli Federico II1921-1999.Per. it. 14FGBCBiblioteca Dip. di Diritto Costituzionale Italiano e Comparato1999.00DDCICBiblioteca del dipartimento di Diritto dei rapporti civili ed economico-sociali.1988-1996;1996;10DDRCFLFBCFLFBCFGBCDDCICDDRCRivista internazionale di filosofia del diritto789121UNINA866-01NA072 BRAU. Biblioteca di Ricerca di Area UmanisticaSP - Per. it. estinto 227Piazza Bellini 56/60, 80133 Napoli (NA)(081) 2533948it866-02NA072 BRAU. Biblioteca di Ricerca di Area UmanisticaEST.ITALIA 123Piazza Bellini 56/60, 80133 Napoli (NA)(081) 2533948it866-03NA073 Biblioteca Centrale della Facoltà di Giurisprudenza dell'Università di Napoli Federico IIPer. it. 14Corso Umberto I, 80138 Napoli (NA)0812537531/330812537532it866-04NA213 Biblioteca Dip. di Diritto Costituzionale Italiano e Comparato00Via nuova Marina, 33, 80133 Napoli (NA)081/2536449-2536439081/2536436it866-05NA214 Biblioteca del dipartimento di Diritto dei rapporti civili ed economico-sociali.10Via Porta di Massa, 32, 80133 Napoli (NA)itacnp.cib.unibo.itACNP Italian Union Catalogue of Serialshttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=29210&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO03673nam 22006615 450 991058015840332120250425144044.03-031-09005-510.1007/978-3-031-09005-9(MiAaPQ)EBC7023498(Au-PeEL)EBL7023498(CKB)24094269600041(PPN)268858527(DE-He213)978-3-031-09005-9(EXLCZ)992409426960004120220617d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierReversible Computation 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /edited by Claudio Antares Mezzina, Krzysztof Podlaski1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (245 pages)Lecture Notes in Computer Science,1611-3349 ;13354Print version: Mezzina, Claudio Antares Reversible Computation Cham : Springer International Publishing AG,c2022 9783031090042 Includes bibliographical references and index.Reversible 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.This 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.Lecture Notes in Computer Science,1611-3349 ;13354Logic designSoftware engineeringMachine theoryComputer systemsLogic DesignSoftware EngineeringFormal Languages and Automata TheoryComputer System ImplementationLogic design.Software engineering.Machine theory.Computer systems.Logic Design.Software Engineering.Formal Languages and Automata Theory.Computer System Implementation.004.015113004Mezzina Claudio AntaresPodlaski KrzysztofMiAaPQMiAaPQMiAaPQBOOK9910580158403321Reversible Computation2889238UNINA