Pages that link to "Item:Q993477"
From MaRDI portal
The following pages link to Generalised quantum weakest preconditions (Q993477):
Displaying 5 items.
- Commutativity of quantum weakest preconditions (Q2380014) (← links)
- Quantum walk and its application domains: a systematic review (Q2668386) (← links)
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras (Q5014789) (← links)
- Natural Quantum Operational Semantics with Predicates (Q5324519) (← links)
- Quantum weakest preconditions (Q5482269) (← links)