HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

alternating Turing machines2, complexity3, constraints, decidability, equational logic, induction2, lists, magic wand, prime implicates, separation logic3.

Copyright © 2012-2023 easychair.org. All rights reserved.