000938985 000__ 04034cam\a2200565Ia\4500
000938985 001__ 938985
000938985 005__ 20230306152012.0
000938985 006__ m\\\\\o\\d\\\\\\\\
000938985 007__ cr\un\nnnunnun
000938985 008__ 200808s2020\\\\sz\\\\\\o\\\\\101\0\eng\d
000938985 019__ $$a1178999804
000938985 020__ $$a9783030524821$$q(electronic book)
000938985 020__ $$a3030524825$$q(electronic book)
000938985 020__ $$z9783030524814
000938985 0247_ $$a10.1007/978-3-030-52
000938985 035__ $$aSP(OCoLC)on1182879962
000938985 035__ $$aSP(OCoLC)1182879962$$z(OCoLC)1178999804
000938985 040__ $$aEBLCP$$beng$$cEBLCP$$dGW5XE$$dEBLCP$$dLQU
000938985 049__ $$aISEA
000938985 050_4 $$aQA76.9.R48
000938985 08204 $$a004$$223
000938985 1112_ $$aRC (Workshop : Reversible Computation)$$n(12th :$$d2020 :$$cOnline)
000938985 24510 $$aReversible computation :$$b12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings /$$cedited by Ivan Lanese, Mariusz Rawski.
000938985 2463_ $$aRC 2020
000938985 260__ $$aCham :$$bSpringer,$$c2020.
000938985 300__ $$a1 online resource (287 pages).
000938985 336__ $$atext$$btxt$$2rdacontent
000938985 337__ $$acomputer$$bc$$2rdamedia
000938985 338__ $$aonline resource$$bcr$$2rdacarrier
000938985 4901_ $$aLecture notes in computer science ;$$v12227
000938985 4901_ $$aLNCS sublibrary: SL 2, Programming and software engineering
000938985 500__ $$aInternational conference proceedings.
000938985 500__ $$a"This volume contains the papers presented at the 12th Conference on Reversible Computation (RC 2020), held during July 9-10, 2020, online due to the COVID-19 pandemic, while initially expected to take place virtually in Oslo, Norway[...]"-- Preface.
000938985 500__ $$aIncludes author index.
000938985 5050_ $$aReversible Occurrence Nets and Causal Reversible Event Structures -- Involutory Turing Machines -- Event structures for the reversible early internal pi-calculus -- Hermes: A Language for Light-Weight Encryption -- Reversible programming languages capturing complexity classes -- On the expressivity of total reversible programming languages -- Toward a Curry-Howard Correspondence for Linear, Reversible Computation -- A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper -- Fractional Types: Expressive and Safe Space Management for Ancilla Bits -- Circuit Synthesis -- Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem -- Maximality of reversible gate sets -- Search-based Transformation Synthesis for 3-valued Reversible Circuits -- ReverCSP: Time-travelling in CSP computations -- Reversible Computations in Logic Programming -- Towards a formal account for software transactional memory -- Encoding Reversing Petri Nets in Answer Set Programming -- A Reversible Runtime Environment for Parallel Programs.
000938985 506__ $$aAccess limited to authorized users.
000938985 520__ $$aThis book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
000938985 588__ $$aDescription based on print version record.
000938985 650_0 $$aReversible computing$$vCongresses.
000938985 650_0 $$aComputer science$$xMathematics$$vCongresses.
000938985 650_0 $$aComputer logic$$vCongresses.
000938985 7001_ $$aLanese, Ivan.
000938985 7001_ $$aRawski, Mariusz.
000938985 77608 $$iPrint version:$$aLanese, Ivan$$tReversible Computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings$$dCham : Springer International Publishing AG,c2020$$z9783030524814
000938985 830_0 $$aLecture notes in computer science ;$$v12227.
000938985 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000938985 852__ $$bebk
000938985 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-52482-1$$zOnline Access$$91397441.1
000938985 909CO $$ooai:library.usi.edu:938985$$pGLOBAL_SET
000938985 980__ $$aEBOOK
000938985 980__ $$aBIB
000938985 982__ $$aEbook
000938985 983__ $$aOnline
000938985 994__ $$a92$$bISE