Pages that link to "Item:Q2947561"
From MaRDI portal
The following pages link to Exact Quantum Algorithms for the Leader Election Problem (Q2947561):
Displaying 11 items.
- Model checking quantum Markov chains (Q394340) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- An exact quantum algorithm for a restricted subtraction game (Q2190513) (← links)
- Distinguishing views in symmetric networks: a tight lower bound (Q2342668) (← links)
- Quantum leader election (Q2412605) (← links)
- Setting Ports in an Anonymous Network: How to Reduce the Level of Symmetry? (Q2835014) (← links)
- (Q5090500) (← links)
- STACS 2005 (Q5710709) (← links)
- Quantum temporal logic and reachability problems of matrix semigroups (Q6614888) (← links)