The following pages link to (Q2721095):
Displaying 33 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)
- Toward automatic verification of quantum programs (Q667515) (← 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)
- Distributed quantum programming (Q1761696) (← links)
- A proof system for disjoint parallel quantum programs (Q2055965) (← 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)
- Classical concepts in quantum programming (Q2505979) (← links)
- An algebra of pure quantum programming (Q2864167) (← links)
- Quantum patterns and types for entanglement and separability (Q2864172) (← links)
- Quantum programs with classical output streams (extended abstract) (Q2864174) (← links)
- Quantum programming with mixed states (Q2864175) (← links)
- Quantum data and control made easier (Q2870210) (← links)
- Selected topics in quantum programming theory (Q2902529) (← links)
- (Q4997286) (← links)
- Quantum Programs as Kleisli Maps (Q5014792) (← links)
- Communicating quantum processes (Q5276142) (← links)
- Functional and Logic Programming (Q5308007) (← links)
- Quantum weakest preconditions for reasoning about expected runtimes of quantum programs (Q6649432) (← links)
- A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)
