Pages that link to "Item:Q5385999"
From MaRDI portal
The following pages link to Expressivity Properties of Boolean BI Through Relational Models (Q5385999):
Displaying 11 items.
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Bunched logics displayed (Q1935559) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- (Q3121529) (← links)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- Convolution and concurrency (Q5084483) (← links)
- (Q5376651) (← links)
