Pages that link to "Item:Q2055965"
From MaRDI portal
The following pages link to A proof system for disjoint parallel quantum programs (Q2055965):
Displaying 5 items.
- Interpreting quantum parallelism by sequents (Q616844) (← links)
- Perfect parallel repetition theorem for quantum XOR proof systems (Q937205) (← links)
- 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)