Pages that link to "Item:Q3406689"
From MaRDI portal
The following pages link to Tableaux and Resource Graphs for Separation Logic (Q3406689):
Displaying 17 items.
- A logic of separating modalities (Q290917) (← links)
- On the almighty wand (Q418137) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- Graphical models of separation logic (Q989553) (← links)
- Separation logic with one quantified variable (Q2411038) (← links)
- Resource graphs and countermodels in resource logics (Q2848062) (← 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)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)
- The logic of separation logic: models and proofs (Q6541164) (← links)
