001437638 000__ 04308cam\a2200661\i\4500
001437638 001__ 1437638
001437638 003__ OCoLC
001437638 005__ 20230309004225.0
001437638 006__ m\\\\\o\\d\\\\\\\\
001437638 007__ cr\un\nnnunnun
001437638 008__ 210627s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001437638 020__ $$a9783030798376$$q(electronic bk.)
001437638 020__ $$a3030798372$$q(electronic bk.)
001437638 020__ $$z9783030798369
001437638 020__ $$z3030798364
001437638 0247_ $$a10.1007/978-3-030-79837-6$$2doi
001437638 035__ $$aSP(OCoLC)1257705930
001437638 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dOCLCO$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001437638 049__ $$aISEA
001437638 050_4 $$aQA76.9.R48$$bR3 2021
001437638 08204 $$a004$$223
001437638 1112_ $$aRC (Workshop : Reversible Computation)$$n(13th :$$d2021 :$$cOnline)
001437638 24510 $$aReversible computation :$$b13th international conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /$$cShigeru Yamashita, Tetsuo Yokoyama (eds.).
001437638 24630 $$aRC 2021
001437638 264_1 $$aCham :$$bSpringer,$$c[2021]
001437638 264_4 $$c©2021
001437638 300__ $$a1 online resource :$$billustrations (some color)
001437638 336__ $$atext$$btxt$$2rdacontent
001437638 337__ $$acomputer$$bc$$2rdamedia
001437638 338__ $$aonline resource$$bcr$$2rdacarrier
001437638 4901_ $$aLecture notes in computer science ;$$v12805
001437638 4901_ $$aLNCS sublibrary: SL2 - Programming and software engineering
001437638 500__ $$aInternational conference proceedings.
001437638 500__ $$aIncludes author index.
001437638 5050_ $$aInvited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming -- Compiling Janus to RSSA -- Causal-Consistent Debugging of Distributed Erlang Programs -- Towards a Unified Language Architecture for Reversible Object-Oriented Programming -- Reversible Concurrent Computation -- Towards a truly concurrent semantics for reversible CCS -- Forward-Reverse Observational Equivalences in CCSK -- Explicit Identifiers and Contexts in Reversible Concurrent Calculus -- Reversibility and predictions -- Theory and Foundations -- A Tangled Web of 12 Lens Laws -- Splitting recursion schemes into reversible and classical interacting threads -- Reversibility of Executable Interval Temporal Logic Specifications -- Circuit Synthesis -- Efficient Construction of Functional Representations for Quantum Algorithms -- Finding Optimal Implementations of Non-native CNOT Gates using SAT -- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network -- OR-Toffoli and OR-Peres Reversible Gates.
001437638 506__ $$aAccess limited to authorized users.
001437638 520__ $$aThis book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis.
001437638 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 1, 2021).
001437638 650_0 $$aReversible computing$$vCongresses.
001437638 650_0 $$aComputer science$$xMathematics$$vCongresses.
001437638 650_0 $$aComputer logic$$vCongresses.
001437638 650_6 $$aCalcul réversible$$vCongrès.
001437638 650_6 $$aInformatique$$xMathématiques$$vCongrès.
001437638 650_6 $$aLogique informatique$$vCongrès.
001437638 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001437638 655_7 $$aConference papers and proceedings.$$2lcgft
001437638 655_7 $$aActes de congrès.$$2rvmgf
001437638 655_0 $$aElectronic books.
001437638 7001_ $$aYamashita, Shigeru$$c(Professor of Computer Science),$$eeditor.
001437638 7001_ $$aYokoyama, Tetsuo,$$eeditor.
001437638 830_0 $$aLecture notes in computer science ;$$v12805.
001437638 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001437638 852__ $$bebk
001437638 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-79837-6$$zOnline Access$$91397441.1
001437638 909CO $$ooai:library.usi.edu:1437638$$pGLOBAL_SET
001437638 980__ $$aBIB
001437638 980__ $$aEBOOK
001437638 982__ $$aEbook
001437638 983__ $$aOnline
001437638 994__ $$a92$$bISE