Pages that link to "Item:Q5089239"
From MaRDI portal
The following pages link to Analysing Spatial Properties on Neighbourhood Spaces (Q5089239):
Displayed 4 items.
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- Back-and-forth in space: on logics and bisimilarity in closure spaces (Q6163883) (← links)
- Minimisation of spatial models using branching bisimilarity (Q6174538) (← links)