Pages that link to "Item:Q5370916"
From MaRDI portal
The following pages link to Invariants of quantum programs: characterisations and generation (Q5370916):
Displaying 5 items.
- Toward automatic verification of quantum programs (Q667515) (← links)
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- (Q3384929) (← links)
- Quantum Programs as Kleisli Maps (Q5014792) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)