Pages that link to "Item:Q636268"
From MaRDI portal
The following pages link to Reasoning about sequences of memory states (Q636268):
Displayed 6 items.
- On the almighty wand (Q418137) (← links)
- Separation logic with one quantified variable (Q2411038) (← links)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
- Regular Patterns in Second-Order Unification (Q3454122) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- (Q5155678) (← links)