Pages that link to "Item:Q2851315"
From MaRDI portal
The following pages link to Reasoning about imperative quantum programs (Q2851315):
Displaying 13 items.
- PLQP \& Company: decidable logics for quantum algorithms (Q472733) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- Reasoning about faulty quantum programs (Q1031864) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Formal semantics of a classical-quantum language (Q2123052) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- Commutativity of quantum weakest preconditions (Q2380014) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Proof rules for the correctness of quantum programs (Q2455601) (← links)
- (Q3560843) (← links)
- Hoare Semigroups (Q4640310) (← links)
- Invariants of quantum programs: characterisations and generation (Q5370916) (← links)