4 citations · 8 across the 17 of their papers we have counts for
1 paper · 2 filters
Mnacho Echenim, Nicolas Peltier
We establish various complexity results for the entailment problem between formulas in Separation Logic with user-defined predicates denoting recursive data structures. The conside…