Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Echenim, Mnacho
and
Mhalla, Mehdi
2024.
A Formalization of the CHSH Inequality and Tsirelson’s Upper-bound in Isabelle/HOL.
Journal of Automated Reasoning,
Vol. 68,
Issue. 1,