Pages that link to "Item:Q1381436"
From MaRDI portal
The following pages link to Ontologies for plane, polygonal mereotopology (Q1381436):
Displaying 10 items.
- A complete axiom system for polygonal mereotopology of the real plane (Q1277333) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- Boolean connection algebras: A new approach to the Region-Connection Calculus (Q1583514) (← links)
- Elementary polyhedral mereotopology (Q1863962) (← links)
- FULL MEREOGEOMETRIES (Q3066777) (← links)
- Discrete Mereotopology (Q3295808) (← links)
- A Topological Constraint Language with Component Counting (Q3647303) (← links)
- A Canonical Model of the Region Connection Calculus (Q3647304) (← links)
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
- Expressivity in polygonal, plane mereotopology (Q4508265) (← links)