Pages that link to "Item:Q1763729"
From MaRDI portal
The following pages link to Elimination of spatial connectives in static spatial logics (Q1763729):
Displaying 10 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)
- Spatial logics with connectedness predicates (Q2786121) (← links)
- Adjuncts elimination in the static ambient logic (Q2847405) (← links)
- Local reasoning about data update (Q2864149) (← links)
- On the Almighty Wand (Q3540188) (← links)
- Losing connection: the modal logic of definable link deletion (Q5158361) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465854) (← links)
- On the Computational Complexity of Spatial Logics with Connectedness Constraints (Q5505582) (← links)