Pages that link to "Item:Q5408441"
From MaRDI portal
The following pages link to Parametric completeness for separation theories (Q5408441):
Displayed 12 items.
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- (Q3121529) (← links)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5155678) (← links)
- (Q5376651) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)