The following pages link to (Q2721095):
Displaying 19 items.
- qGCL (Q54940) (← links)
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- FJQuantum. A quantum object oriented language (Q529648) (← links)
- A probability perspective (Q640292) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Quantum loop programs (Q977174) (← links)
- Generalised quantum weakest preconditions (Q993477) (← links)
- Reasoning about faulty quantum programs (Q1031864) (← links)
- Reachability analysis of quantum Markov decision processes (Q1627964) (← links)
- Towards implementation of a generalized architecture for high-level quantum programming language (Q1700813) (← links)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
- Commutativity of quantum weakest preconditions (Q2380014) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Proof rules for the correctness of quantum programs (Q2455601) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- Compiling quantum programs (Q2484067) (← links)
- Quantum Patterns and Types for Entanglement and Separability (Q2864172) (← links)
- Quantum Programming With Mixed States (Q2864175) (← links)
- Quantum Data and Control Made Easier (Q2870210) (← links)
