LEADER 04281nam 22007455 450 001 9910485047203321 005 20251226203516.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 $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,$x2945-9168 ;$v7581 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$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,$x2945-9168 ;$v7581 606 $aLogic design 606 $aComputer science 606 $aAlgorithms 606 $aSoftware engineering 606 $aLogic Design 606 $aComputer Science Logic and Foundations of Programming 606 $aTheory of Computation 606 $aAlgorithms 606 $aSoftware Engineering 615 0$aLogic design. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 14$aLogic Design. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aSoftware Engineering. 676 $a005.101/5113 701 $aGluck$b Robert$01432745 701 $aYokoyama$b Tetsuo$01763375 712 12$aRC 2012 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910485047203321 996 $aReversible computation$94203758 997 $aUNINA