Pages that link to "Item:Q2849423"
From MaRDI portal
The following pages link to Quantum Probabilistic Dyadic Second-Order Logic (Q2849423):
Displaying 7 items.
- Logics of informational interactions (Q266639) (← links)
- Characterization of quantum states in predicative logic (Q429954) (← links)
- PLQP \& Company: decidable logics for quantum algorithms (Q472733) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- Probabilistic logic of quantum observations (Q5382586) (← links)
- Quantum bounds for 2D-grid and Dyck language (Q6101583) (← links)
- Birkhoff-von Neumann quantum logic as an assertion language for quantum programs (Q6660000) (← links)