Pages that link to "Item:Q2786121"
From MaRDI portal
The following pages link to Spatial logics with connectedness predicates (Q2786121):
Displaying 10 items.
- What is nominalistic mereology? (Q742476) (← links)
- Axiomatizing discrete spatial relations (Q1617812) (← links)
- Relational representation theorems for extended contact algebras (Q2243545) (← links)
- Extended contact algebras and internal connectedness (Q2307301) (← links)
- Qualitative spatial logics for buffered geometries (Q2818239) (← links)
- Logics of space with connectedness predicates: complete axiomatizations (Q2904067) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- Logics in Artificial Intelligence (Q5394147) (← links)
- Static Analysis (Q5466572) (← links)
- On the Computational Complexity of Spatial Logics with Connectedness Constraints (Q5505582) (← links)