The following pages link to (Q4011723):
Displaying 15 items.
- The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
- Representations for small relation algebras (Q1903131) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Tractable approximations for temporal constraint handling (Q1978249) (← links)
- Relational demonic fuzzy refinement (Q2336161) (← links)
- Representability is not decidable for finite relation algebras (Q2701663) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- Weakly representable atom structures that are not strongly representable, with an application to first order logic (Q3506327) (← links)
- (Q4612556) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
- Relation algebras from cylindric algebras. II (Q5956890) (← links)
