Author:Mnacho Echenim

Publications
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard Mnacho Echenim, Radu Iosif and Nicolas Peltier EasyChair Preprint 4877
The Complexity of Prenex Separation Logic with One Selector Mnacho Echenim, Radu Iosif and Nicolas Peltier EasyChair Preprint 433
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard Mnacho Echenim, Radu Iosif and Nicolas Peltier In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses Sophie Tourret, Mnacho Echenim and Nicolas Peltier In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning