The following pages link to Reversible Computation (Q2822486):
Displaying 50 items.
- Moment Semantics for Reversible Rule-Based Systems (Q2822487) (← links)
- A Hierarchy of Fast Reversible Turing Machines (Q2822488) (← links)
- Real-Time Methods in Reversible Computation (Q2822490) (← links)
- Reversible Ordered Restarting Automata (Q2822491) (← links)
- Garbage Collection for Reversible Functional Languages (Q2822492) (← links)
- Reverse Code Generation for Parallel Discrete Event Simulation (Q2822496) (← links)
- Towards a Domain-Specific Language for Reversible Assembly Sequences (Q2822499) (← links)
- Reversibility in Extended Measurement-Based Quantum Computation (Q2822501) (← links)
- A Fully Fault-Tolerant Representation of Quantum Circuits (Q2822503) (← links)
- Equational Reasoning About Quantum Protocols (Q2822505) (← links)
- Design and Fabrication of a Microprocessor Using Adiabatic CMOS and Bennett Clocking (Q2822510) (← links)
- Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits (Q2822511) (← links)
- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics (Q2822512) (← links)
- Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition (Q2822513) (← links)
- Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits (Q2822514) (← links)
- Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions (Q2822515) (← links)
- Power-Clock Generator Impact on the Performance of NEM-Based Quasi-Adiabatic Logic Circuits (Q2822520) (← links)
- Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits (Q2822521) (← links)
- Towards Modelling of Local Reversibility (Q2822522) (← links)
- Application of Functional Decomposition in Synthesis of Reversible Circuits (Q2822524) (← links)
- Efficient Algorithms for Universal Quantum Simulation (Q2868433) (← links)
- Reversible Delay-Insensitive Distributed Memory Modules (Q2868435) (← links)
- Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier (Q2868436) (← links)
- Constant-Factor Optimization of Quantum Adders on 2D Quantum Architectures (Q2868437) (← links)
- Garbage-Free Reversible Constant Multipliers for Arbitrary Integers (Q2868438) (← links)
- Identities in Modular Arithmetic from Reversible Coherence Operations (Q2868439) (← links)
- Reversible Representation and Manipulation of Constructor Terms in the Heap (Q2868440) (← links)
- An Introduction to Quantum Programming in Quipper (Q2868442) (← links)
- On the “Q” in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure (Q2868443) (← links)
- Modelling of Bonding with Processes and Events (Q2868444) (← links)
- Universal Gates in Other Universes (Q2868445) (← links)
- Time-Symmetric Machines (Q2868446) (← links)
- Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure (Q2868448) (← links)
- White Dots do Matter: Rewriting Reversible Logic Circuits (Q2868449) (← links)
- Exploiting Negative Control Lines in the Optimization of Reversible Circuits (Q2868451) (← links)
- Reducing the Depth of Quantum Circuits Using Additional Circuit Lines (Q2868452) (← links)
- Quantum Process Calculus for Linear Optical Quantum Computing (Q2868454) (← links)
- Logically and Physically Reversible Natural Computing: A Tutorial (Q2868455) (← links)
- Time Complexity of Tape Reduction for Reversible Turing Machines (Q2902496) (← links)
- Towards a Reversible Functional Language (Q2902497) (← links)
- Optimization of Reversible Circuits Using Reconfigured Templates (Q2902499) (← links)
- Hybrid GF(2) – Boolean Expressions ..for Quantum Computing Circuits (Q2902500) (← links)
- Transforming MCT Circuits to NCVW Circuits (Q2902502) (← links)
- Changing the Gate Order for Optimal LNN Conversion (Q2902503) (← links)
- Rigid Families for the Reversible $$\pi $$ -Calculus (Q3186581) (← links)
- A Calculus for Local Reversibility (Q3186582) (← links)
- Static VS Dynamic Reversibility in CCS (Q3186583) (← links)
- Reversing Single Sessions (Q3186584) (← links)
- Reversible Causal Graph Dynamics (Q3186585) (← links)
- Boosting Reversible Pushdown Machines by Preprocessing (Q3186586) (← links)
