The following pages link to (Q5389322):
Displaying 7 items.
- A logic for quantum register measurements (Q2306145) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Quantum State Transformations and Branching Distributed Temporal Logic (Q2938127) (← links)
- $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
- Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086) (← links)
- (Q5018491) (← links)