The following pages link to Separating Graph Logic from MSO (Q3617721):
Displaying 6 items.
- On the almighty wand (Q418137) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← 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)
