Pages that link to "Item:Q3636908"
From MaRDI portal
The following pages link to Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding (Q3636908):
Displaying 5 items.
- 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)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
