The following pages link to (Q5111651):
Displaying 3 items.
- Unifying decidable entailments in separation logic with inductive definitions (Q2055854) (← links)
- Separation logic with linearly compositional inductive predicates and set data constraints (Q2206230) (← links)
- Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic (Q3179308) (← links)