Pages that link to "Item:Q358690"
From MaRDI portal
The following pages link to Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing (Q358690):
Displaying 3 items.
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- Mathematics of topological quantum computing (Q5217383) (← links)
