Pages that link to "Item:Q707740"
From MaRDI portal
The following pages link to Quantitative separation logic and programs with lists (Q707740):
Displaying 5 items.
- Automated mutual induction proof in separation logic (Q2414251) (← links)
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (Q2817951) (← links)
- Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic (Q3179308) (← links)
- (Q5155678) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
