Daniel Preda

Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems

Tsuyoshi Ito, Andrew Chi-Chih Yao, Xiaoming Sun, 2007, 2008 23rd Annual IEEE Conference on Computational Complexity.