Reversible Computing

From MaRDI portal
Publication:3076735

DOI10.1002/9783527633999zbMath1248.68003OpenAlexW4233347701MaRDI QIDQ3076735

Alexis De Vos

Publication date: 23 February 2011

Full work available at URL: https://doi.org/10.1002/9783527633999



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (27)

The Group of Dyadic Unitary MatricesQuantum circuits with classical channels and the principle of deferred measurementsGarbageless Reversible Implementation of Integer Linear TransformationsComplexity of reversible circuits and their quantum implementationsOn the cardinality of a factor set in the symmetric groupConjectured \textit{DXZ} decompositions of a unitary matrixFundamentals of reversible flowchart languagesTowards a taxonomy for reversible computation approachesCertifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean}Clean Reversible Simulations of Ranking Binary TreesNew Results on Reversible Boolean Functions Having Component Functions with Specified PropertiesThe decomposition of an arbitrary \(2^w \times 2^w\) unitary matrix into signed permutation matricesReversible computing from a programming language perspectiveUnnamed ItemUpper bounds for reversible circuits based on Young subgroupsFredkin and Toffoli Gates Implemented in Oregonator Model of Belousov–Zhabotinsky MediumAncilla-free synthesis of large reversible functions using binary decision diagramsNew design of reversible full adder/subtractor using \(R\) gateThe fixed point problem of a simple reversible languageSimulation of a multidimensional input quantum perceptronA Classical Propositional Logic for Reasoning About Reversible Logic CircuitsPower-Clock Generator Impact on the Performance of NEM-Based Quasi-Adiabatic Logic CircuitsA Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible CircuitsThe Birkhoff theorem for unitary matrices of prime-power dimensionReversible computation in integrated photonicsCertifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean}Investigating Reversibility of Steps in Petri Nets


Uses Software



This page was built for publication: Reversible Computing