LEADER 04759nam 22007335 450 001 996466269103316 005 20200703022157.0 010 $a3-642-36314-8 024 7 $a10.1007/978-3-642-36315-3 035 $a(CKB)3400000000125725 035 $a(SSID)ssj0000855402 035 $a(PQKBManifestationID)11516686 035 $a(PQKBTitleCode)TC0000855402 035 $a(PQKBWorkID)10913721 035 $a(PQKB)11229363 035 $a(DE-He213)978-3-642-36315-3 035 $a(MiAaPQ)EBC3069554 035 $a(PPN)168329999 035 $a(EXLCZ)993400000000125725 100 $a20130125d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReversible Computation$b[electronic resource] $e4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers /$fedited by Robert Glück, Tetsuo Yokoyama 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 241 p. 70 illus.) 225 1 $aProgramming and Software Engineering ;$v7581 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-36315-6 320 $aIncludes bibliographical references and index. 327 $aTheoretical Considerations -- Tutorial: Graphical Calculus for Quantum Circuits -- One-Way Reversible Multi-head Finite Automata -- A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads -- Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible MOQA: A Case Study for Quicksort -- Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots -- Reversible and Quantum Circuits -- Reversible and Quantum Circuit Optimization: A Functional Approach -- Properties of Quantum Templates -- Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits -- Design of an Online Testable Ternary Circuit from the Truth Table -- Physical Realizations and Design Garbageless Reversible Implementation of Integer Linear Transformations -- Garbage-Free Reversible Integer Multiplication with Constants of the Form 2k ± 2l ± 1 -- Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams -- Using ?DDs in the Design of Reversible Circuits (Work-In-Progress) -- Distributed Systems -- A Verification Technique for Reversible Process Algebra -- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway -- Controlled Reversibility and Compensations. 330 $aThis book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The 19 contributions presented in this volume were carefully reviewed and selected from 46 submissions. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing. 410 0$aProgramming and Software Engineering ;$v7581 606 $aLogic design 606 $aComputer logic 606 $aComputers 606 $aAlgorithms 606 $aSoftware engineering 606 $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aLogic design. 615 0$aComputer logic. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 14$aLogic Design. 615 24$aLogics and Meanings of Programs. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aSoftware Engineering. 676 $a005.101/5113 702 $aGlück$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYokoyama$b Tetsuo$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aRC 2012 906 $aBOOK 912 $a996466269103316 996 $aReversible Computation$92036156 997 $aUNISA