Pages that link to "Item:Q472733"
From MaRDI portal
The following pages link to PLQP \& Company: decidable logics for quantum algorithms (Q472733):
Displaying 5 items.
- Logics of informational interactions (Q266639) (← links)
- A logical analysis of quantum voting protocols (Q682659) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- Quantum logic is undecidable (Q2663337) (← links)
- Automated quantum program verification in dynamic quantum logic (Q6546614) (← links)