The following pages link to Discrete Mereotopology (Q3295808):
Displaying 8 items.
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- The mereotopology of time (Q2319892) (← links)
- FULL MEREOGEOMETRIES (Q3066777) (← links)
- (Q4580233) (← links)
- (Q5028457) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- On bisimilarity for polyhedral models and \texttt{SLCS} (Q6535467) (← links)