Pages that link to "Item:Q2055965"

The following pages link to A proof system for disjoint parallel quantum programs (Q2055965):

Displaying 3 items.

• Quantum random access stored-program machines (Q2084736) (← links)
• Formal semantics of a classical-quantum language (Q2123052) (← links)
• Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs (Q6053407) (← links)