Stéphane Demri
6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri et al. (2021) · Logical Methods in Computer Science
The effects of adding reachability predicates in propositional separation logic
Stéphane Demri et al. (2018) · 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
Stéphane Demri et al. (2016) · ACM Transactions on Computational Logic
Logical Investigations on Separation Logics
Stéphane Demri et al. (2015) · 27th European Summer School in Logic, Language and Information (ESSLLI 2015)
Separation logics and modalities: a survey
Stéphane Demri et al. (2015) · Journal of Applied Non-Classical Logics
On the almighty wand
Rémi Brochenin et al. (2012) · Information and Computation