The following pages link to (Q4011707):
Displayed 7 items.
- The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← 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)
- Tractable approximations for temporal constraint handling (Q1978249) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)
- A relation-algebraic approach to the region connection calculus (Q5941063) (← links)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)