LEADER 05079nam  22007575  450 
001 9910484709803321
005 20200703135017.0
010   $a3-319-40578-0
024 7 $a10.1007/978-3-319-40578-0
035   $a(CKB)3710000000734813
035   $a(DE-He213)978-3-319-40578-0
035   $a(MiAaPQ)EBC6303740
035   $a(MiAaPQ)EBC5596242
035   $a(Au-PeEL)EBL5596242
035   $a(OCoLC)953143169
035   $a(PPN)194378497
035   $a(EXLCZ)993710000000734813
100   $a20160629d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aReversible Computation $e8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /$fedited by Simon Devitt, Ivan Lanese
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XIII, 339 p. 109 illus.) 
225 1 $aProgramming and Software Engineering ;$v9720
311   $a3-319-40577-2 
327   $aProcess Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local reversibility -- Static VS Dynamic Reversibility in CCS -- Reversing Single Sessions -- Reversible Models -- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible Computation vs. Reversibility in Petri Nets -- Programming Languages -- Energy Efficient Language and Compiler for (Partially) Reversible Algorithms -- Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation -- Quaglia -- Elements of a Reversible Object-Oriented Language -- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs -- Quantum Computing -- Design and Fabrication of CSWAP Gate Based on Nanoelectromechanical Systems -- Design of p-valued Deutsch quantum gates with multiple control signals and mixed polarity -- Using pi-DDsforNearestNeighborOptimizationofQuantumCircuits -- Quantum Programming -- Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits -- Towards Quantum Programs Verification: From Quipper Circuits to QPMC -- Circuit Theory -- Application of Permutation Group Theory in Reversible Logic Synthesis -- Strongly Universal Reversible Gate Sets -- Enumeration of reversible functions and its application to circuit complexity -- A finite alternation result for reversible Boolean circuits -- Syntheses -- Generating reversible circuits from higher-order functional programs -- A fast symbolic transformation based algorithm for reversible logic synthesis.-Checking Reversibility of Boolean Functions. .
330   $aThis book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; quantum programming; circuit theory; and syntheses. .
410  0$aProgramming and Software Engineering ;$v9720
606   $aLogic design
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aQuantum computers
606   $aComputers
606   $aAlgorithms
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   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aQuantum Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/M14070
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
615  0$aLogic design.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aQuantum computers.
615  0$aComputers.
615  0$aAlgorithms.
615 14$aLogic Design.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aQuantum Computing.
615 24$aComputation by Abstract Devices.
615 24$aAlgorithm Analysis and Problem Complexity.
676   $a004
702   $aDevitt$b Simon$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLanese$b Ivan$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484709803321
996   $aReversible Computation$92889238
997   $aUNINA