Pages that link to "Item:Q3647303"
From MaRDI portal
The following pages link to A Topological Constraint Language with Component Counting (Q3647303):
Displaying 4 items.
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Constraint networks of topological relations and convexity (Q1818349) (← links)
- Extended contact algebras and internal connectedness (Q2307301) (← links)
- Decision algorithms for elementary topology I. Topological syllogistics with set and map constructs, connectedness, and cardinality comparison (Q4313220) (← links)