Pages that link to "Item:Q3406689"
From MaRDI portal
The following pages link to Tableaux and Resource Graphs for Separation Logic (Q3406689):
Displaying 13 items.
- A logic of separating modalities (Q290917) (← links)
- On the almighty wand (Q418137) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- Separation logic with one quantified variable (Q2411038) (← links)
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic (Q2961583) (← links)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (Q3454118) (← links)
- A Modal BI Logic for Dynamic Resource Properties (Q3455841) (← links)
- On the Almighty Wand (Q3540188) (← links)
- (Q4553286) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- (Q5155678) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)