Pages that link to "Item:Q2455601"
From MaRDI portal
The following pages link to Proof rules for the correctness of quantum programs (Q2455601):
Displaying 6 items.
- Toward automatic verification of quantum programs (Q667515) (← links)
- Quantum loop programs (Q977174) (← links)
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Commutativity of quantum weakest preconditions (Q2380014) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs (Q6053407) (← links)
