Pages that link to "Item:Q2938127"

The following pages link to Quantum State Transformations and Branching Distributed Temporal Logic (Q2938127):

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)
• On quantum lambda calculi: a foundational perspective (Q2973238) (← links)
• $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
• (Q5015214) (← links)
• (Q5018491) (← links)