4 citations · 8 across the 17 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
quant-ph2023
A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL
Mnacho Echenim, Mehdi Mhalla
We present a formalization of several fundamental notions and results from Quantum Information theory, including density matrices and projective measurements, along with the proof…
cs.LO2023
Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
Mnacho Echenim, Nicolas Peltier
We establish various complexity results for the entailment problem between formulas in Separation Logic with user-defined predicates denoting recursive data structures. The conside…