The following pages link to (Q4011707):
Displaying 11 items.
- The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
- Introduction to the special issue on algebraic logic (Q1189889) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
- Traditional logic and the early history of sets, 1854-1908 (Q1913678) (← links)
- Tractable approximations for temporal constraint handling (Q1978249) (← links)
- (Q2703788) (← links)
- (Q3016119) (← links)
- (Q4681631) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)
- A relation-algebraic approach to the region connection calculus (Q5941063) (← links)