Pages that link to "Item:Q1583514"
From MaRDI portal
The following pages link to Boolean connection algebras: A new approach to the Region-Connection Calculus (Q1583514):
Displayed 26 items.
- On standard models of fuzzy region connection calculus (Q433513) (← links)
- Boolean logics with relations (Q604451) (← links)
- Region connection calculus: Its models and composition table (Q814446) (← links)
- Generalized region connection calculus (Q814636) (← links)
- On the complemented disk algebra (Q817585) (← links)
- On topological consistency and realization (Q850454) (← links)
- Pre-apartness structures on spaces of functions (Q864436) (← links)
- Rudiments of rough sets (Q867594) (← links)
- On redundant topological constraints (Q891795) (← links)
- Mereotopology without mereology (Q975781) (← links)
- Reasoning about cardinal directions between extended objects (Q991028) (← links)
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) (Q1045997) (← links)
- Combining topological and size information for spatial reasoning (Q1605277) (← links)
- On the algebra of regular sets (Q1926594) (← links)
- Complementation in representable theories of region-based space (Q1949166) (← links)
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I (Q2342312) (← links)
- RCC8 binary constraint network can be consistently extended (Q2457645) (← links)
- Realizing RCC8 networks using convex regions (Q2512988) (← links)
- A representation theorem for Boolean contact algebras (Q2581369) (← links)
- Extension Properties of Boolean Contact Algebras (Q2915154) (← links)
- FULL MEREOGEOMETRIES (Q3066777) (← links)
- Boolean Logics with Relations (Q3498402) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← links)
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
- A Proximity Approach to Some Region-Based Theories of Space (Q3647306) (← links)
- Spatial relations between indeterminate regions (Q5944534) (← links)