Tags

quantum channels
entanglement
graph states
LU-LC conjecture
Formal semantics
Hermitian matrix
Quantum program