Pages that link to "Item:Q3189649"
From MaRDI portal
The following pages link to Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649):
Displaying 19 items.
- On the almighty wand (Q418137) (← links)
- 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)
- Separation logic with one quantified variable (Q2411038) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← 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)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Being and Change: Reasoning About Invariance (Q3449632) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- (Q5111325) (← links)
- (Q5155678) (← links)
- Automated Cyclic Entailment Proofs in Separation Logic (Q5200020) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- (Q5376651) (← links)
