The following pages link to (Q3560843):
Displaying 12 items.
- Quantum loop programs (Q977174) (← links)
- Generalised quantum weakest preconditions (Q993477) (← links)
- Predicate transformers as power operations (Q1898816) (← 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)
- Quantum programs with classical output streams (extended abstract) (Q2864174) (← links)
- A hierarchy of quantum semantics (Q2864503) (← links)
- Model-Checking Linear-Time Properties of Quantum Systems (Q2946731) (← links)
- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation (Q5237220) (← links)
- Natural Quantum Operational Semantics with Predicates (Q5324519) (← links)
- Quantum temporal logic and reachability problems of matrix semigroups (Q6614888) (← links)