Pages that link to "Item:Q4338157"
From MaRDI portal
The following pages link to Decision problems for equational theories of relation algebras (Q4338157):
Displaying 13 items.
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- An automatically verified prototype of the Tokeneer ID station specification (Q2069869) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← links)
- Undecidable theories of Lyndon algebras (Q2732275) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- Universal classes of simple relation algebras (Q4262570) (← links)
- Inequivalent representations of geometric relation algebras (Q4457734) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- Undecidability of Algebras of Binary Relations (Q5015973) (← links)
- On the Representation of Boolean Magmas and Boolean Semilattices (Q5015976) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
