Pages that link to "Item:Q358690"

The following pages link to Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing (Q358690):

Displaying 2 items.

• Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
• Mathematics of topological quantum computing (Q5217383) (← links)