Pages that link to "Item:Q2864175"
From MaRDI portal
The following pages link to Quantum programming with mixed states (Q2864175):
Displaying 8 items.
- qGCL (Q54940) (← links)
- Quantum loop programs (Q977174) (← links)
- Proof rules for the correctness of quantum programs (Q2455601) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- Compiling quantum programs (Q2484067) (← links)
- Control aspects of quantum computing using pure and mixed states (Q2941614) (← links)
- (Q5505836) (← links)
- Programming of channels in generalized probabilistic theories (Q6042759) (← links)