Pages that link to "Item:Q6135777"
From MaRDI portal
The following pages link to A Spatial Logic for Simplicial Models (Q6135777):
Displaying 8 items.
- Spatial logics with connectedness predicates (Q2786121) (← links)
- (Q3509044) (← links)
- (Q4474211) (← links)
- (Q4583959) (← links)
- (Q4801455) (← links)
- (Q5431914) (← links)
- On the Computational Complexity of Spatial Logics with Connectedness Constraints (Q5505582) (← links)
- On bisimilarity for polyhedral models and \texttt{SLCS} (Q6535467) (← links)