Pages that link to "Item:Q4508265"
From MaRDI portal
The following pages link to Expressivity in polygonal, plane mereotopology (Q4508265):
Displaying 8 items.
- A proof system for contact relation algebras (Q1576385) (← links)
- Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
- Elementary polyhedral mereotopology (Q1863962) (← links)
- A representation theorem for Boolean contact algebras (Q2581369) (← links)
- FULL MEREOGEOMETRIES (Q3066777) (← links)
- A Topological Constraint Language with Component Counting (Q3647303) (← links)
- A Canonical Model of the Region Connection Calculus (Q3647304) (← links)
- POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES (Q5274877) (← links)
