The following pages link to Quantum weakest preconditions (Q5482269):
Displaying 25 items.
- The expectation monad in quantum foundations (Q320204) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- Dijkstra and Hoare monads in monadic computation (Q890377) (← links)
- Quantum loop programs (Q977174) (← links)
- Generalised quantum weakest preconditions (Q993477) (← links)
- Reachability analysis of quantum Markov decision processes (Q1627964) (← links)
- Semantics for a quantum programming language by operator algebras (Q1670504) (← 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)
- Eigenlogic in the spirit of George Boole (Q2183712) (← links)
- Commutativity of quantum weakest preconditions (Q2380014) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Complete positivity and natural representation of quantum computations (Q2520702) (← links)
- Distributed measurement-based quantum computation (Q2864169) (← links)
- Dagger compact closed categories and completely positive maps (extended abstract) (Q2864173) (← links)
- (Q3384929) (← links)
- The monoidal structure of Turing machines (Q4917187) (← links)
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras (Q5014789) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
- Natural Quantum Operational Semantics with Predicates (Q5324519) (← links)
- Healthiness conditions for predicate transformers (Q5971403) (← links)
- Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs (Q6053407) (← links)
- Quantum temporal logic and reachability problems of matrix semigroups (Q6614888) (← links)
- Quantum Hoare type theory: extended abstract (Q6645590) (← links)
- Quantum weakest preconditions for reasoning about expected runtimes of quantum programs (Q6649432) (← links)
