Pages that link to "Item:Q5427253"
From MaRDI portal
The following pages link to Models and Separation Logics for Resource Trees (Q5427253):
Displaying 7 items.
- Resource graphs and countermodels in resource logics (Q2848062) (← links)
- DOM: Specification and Client Reasoning (Q3179307) (← links)
- Tableaux and Resource Graphs for Separation Logic (Q3406689) (← links)
- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding (Q3636908) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- A modal separation logic for resource dynamics (Q4612424) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)