Étienne Lozes
4 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
Étienne Lozes: the limits of separation logic with Demri and Brochenin - the magic wand, reachability predicates, and a complete axiomatisation of the quantifier-free fragment.
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
Beyond Shapes: Lists with Ordered Data
Kshitij Bansal and others (2009) · Lecture notes in computer science · Springer Science+Business Media