Pages that link to "Item:Q5385999"
From MaRDI portal
The following pages link to Expressivity Properties of Boolean BI Through Relational Models (Q5385999):
Displayed 6 items.
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Bunched logics displayed (Q1935559) (← 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)