Pages that link to "Item:Q2164204"
From MaRDI portal
The following pages link to Verified compilation of space-efficient reversible circuits (Q2164204):
Displaying 11 items.
- Reversible simulation of space-bounded computations (Q673645) (← links)
- Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3 (Q1698647) (← links)
- Tools for quantum and reversible circuit compilation (Q1705571) (← links)
- REVS: a tool for space-optimized reversible circuit synthesis (Q1705584) (← links)
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- A framework for quantum-classical cryptographic translation (Q2239408) (← links)
- Compact Realization of Reversible Turing Machines by 2-State Reversible Logic Elements (Q2945544) (← links)
- (Q3384929) (← links)
- (Q3385623) (← links)
- (Q3385643) (← links)
- Sized Types for Low-Level Quantum Metaprogramming (Q5237215) (← links)