Pages that link to "Item:Q3454118"
From MaRDI portal
The following pages link to Automated Theorem Proving for Assertions in Separation Logic with All Connectives (Q3454118):
Displaying 6 items.
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (Q2817951) (← links)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5155678) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
