Pages that link to "Item:Q1701681"

The following pages link to Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681):

Displaying 2 items.

• A logical analysis of quantum voting protocols (Q682659) (← links)
• Holistic and compositional logics based on the Bertini gate (Q2153998) (← links)