Author:Nicolas Peltier

Publications
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard Mnacho Echenim, Radu Iosif and Nicolas Peltier EasyChair Preprint no. 4877
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
The Complexity of Prenex Separation Logic with One Selector Mnacho Echenim, Radu Iosif and Nicolas Peltier EasyChair Preprint no. 433
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