The following pages link to Reversible Computing (Q3076735):
Displaying 21 items.
- Ancilla-free synthesis of large reversible functions using binary decision diagrams (Q491242) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- New design of reversible full adder/subtractor using \(R\) gate (Q1740954) (← links)
- The fixed point problem of a simple reversible language (Q1989327) (← links)
- Simulation of a multidimensional input quantum perceptron (Q1993729) (← links)
- Reversible computation in integrated photonics (Q2097402) (← links)
- Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean} (Q2097420) (← links)
- Quantum circuits with classical channels and the principle of deferred measurements (Q2139049) (← links)
- Conjectured \textit{DXZ} decompositions of a unitary matrix (Q2168924) (← links)
- The decomposition of an arbitrary \(2^w \times 2^w\) unitary matrix into signed permutation matrices (Q2199344) (← links)
- The Birkhoff theorem for unitary matrices of prime-power dimension (Q2321347) (← links)
- Upper bounds for reversible circuits based on Young subgroups (Q2446569) (← links)
- Complexity of reversible circuits and their quantum implementations (Q2634672) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- A Classical Propositional Logic for Reasoning About Reversible Logic Circuits (Q2820684) (← links)
- Power-Clock Generator Impact on the Performance of NEM-Based Quasi-Adiabatic Logic Circuits (Q2822520) (← links)
- The Group of Dyadic Unitary Matrices (Q2884793) (← links)
- On the cardinality of a factor set in the symmetric group (Q2920902) (← links)
- Fredkin and Toffoli Gates Implemented in Oregonator Model of Belousov–Zhabotinsky Medium (Q2986001) (← links)
- (Q3385643) (← links)
- Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean} (Q6151610) (← links)
