The following pages link to qGCL (Q54940):
Displaying 20 items.
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- A probability perspective (Q640292) (← links)
- Quantum fuzzy inference for knowledge base design in robust intelligent controllers (Q740565) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Quantum programming languages: a tentative study (Q954406) (← 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)
- A framework for quantum-classical cryptographic translation (Q2239408) (← 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)
- Quantum Patterns and Types for Entanglement and Separability (Q2864172) (← links)
- Quantum Data and Control Made Easier (Q2870210) (← links)
- Towards Quantum Programs Verification: From Quipper Circuits to QPMC (Q3186602) (← links)
- Unconventional Computation (Q5479219) (← links)
