Alessio Mansutti

2 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)