Pages that link to "Item:Q1763729"
From MaRDI portal
The following pages link to Elimination of spatial connectives in static spatial logics (Q1763729):
Displaying 4 items.
- On the almighty wand (Q418137) (← links)
- Completeness and expressiveness of pointer program verification by separation logic (Q2417849) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- Local Reasoning about Data Update (Q2864149) (← links)
