提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日志/afp/EchenimMM23AU-埃切宁，姆纳乔AU-Mhalla，迈赫迪澳大利亚-森喜朗TI-CHSH不等式：Tsirelson的上界和其他结果。JO-架构。正式证明VL-2023年2023年上半年//UR-（欧元）https://www.isa-afp.org/entries/TsirelsonBound.html急诊室-