Étienne Lozes
3 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.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Étienne Lozes
The limits of separation logic, in joint work with Demri and Brochenin: the separating implication in 'On the almighty wand', the effects of adding reachability predicates, and a complete axiomatisation for the quantifier-free fragment. The common question is what happens to decidability as the logic is given more to say.
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri and others (2021) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
The effects of adding reachability predicates in propositional separation logic
Stéphane Demri and others (2018) · 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) · Springer
On the almighty wand
Rémi Brochenin and others (2012) · Information and Computation