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
A grouping.
É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.
4 references
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