Pages that link to "Item:Q2974786"
From MaRDI portal
The following pages link to Model Checking Spatial Logics for Closure Spaces (Q2974786):
Displaying 6 items.
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- Spatial Logic and Spatial Model Checking for Closure Spaces (Q2822664) (← links)
- (Q4553288) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- Analysing Spatial Properties on Neighbourhood Spaces (Q5089239) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
