This page shows all presentations of this author published in EasyChair Smart Slide.
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
Mnacho Echenim, Radu Iosif and Nicolas Peltier
The Complexity of Prenex Separation Logic with One Selector
An Entailment Checker for Separation Logic with Inductive Definitions
Radu Iosif and Cristina Serban