Pages that link to "Item:Q814636"
From MaRDI portal
The following pages link to Generalized region connection calculus (Q814636):
Displaying 16 items.
- Region connection calculus: Its models and composition table (Q814446) (← links)
- Spatial reasoning in a fuzzy region connection calculus (Q835806) (← links)
- On topological consistency and realization (Q850454) (← links)
- Reasoning about cardinal directions between extended objects (Q991028) (← links)
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) (Q1045997) (← links)
- Complementation in representable theories of region-based space (Q1949166) (← links)
- Binary topological relations on the digital sphere (Q2302905) (← links)
- The mereotopology of time (Q2319892) (← links)
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I. (Q2363289) (← links)
- RCC8 binary constraint network can be consistently extended (Q2457645) (← links)
- A representation theorem for Boolean contact algebras (Q2581369) (← links)
- Evolution of Region Connection Calculus to VRCC-3D+ (Q2815559) (← links)
- Extension Properties of Boolean Contact Algebras (Q2915154) (← links)
- Discrete Mereotopology (Q3295808) (← links)
- Dynamic logics of the region-based theory of discrete spaces (Q3647263) (← links)
- On some meta-theoretic topological features of the region connection calculus (Q6535325) (← links)