Pages that link to "Item:Q2946690"
From MaRDI portal
The following pages link to Nondeterministic Phase Semantics and the Undecidability of Boolean BI (Q2946690):
Displaying 16 items.
- On the almighty wand (Q418137) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Separation logic with one quantified variable (Q2411038) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Exponential-Size Model Property for PDL with Separating Parallel Composition (Q2946330) (← links)
- Nonelementary Complexities for Branching VASS, MELL, and Extensions (Q2946760) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← 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)
- Separation logics and modalities: a survey (Q4586138) (← links)
- (Q5111325) (← links)
- (Q5155678) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- An epistemic separation logic with action models (Q6117141) (← links)
