Pages that link to "Item:Q2957697"
From MaRDI portal
The following pages link to Two-Variable Separation Logic and Its Inner Circle (Q2957697):
Displaying 14 items.
- On the almighty wand (Q418137) (← links)
- Semipositivity in separation logic with two variables (Q1660774) (← links)
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic (Q2961583) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Expressive completeness of separation logic with two variables and no separating conjunction (Q4635622) (← links)
- QUESTIONS IN TWO-DIMENSIONAL LOGIC (Q5046600) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5090983) (← links)
- The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates (Q5121270) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5) (Q5845380) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5918962) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)