Pages that link to "Item:Q4338157"
From MaRDI portal
The following pages link to Decision problems for equational theories of relation algebras (Q4338157):
Displaying 28 items.
- Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\) (Q358692) (← links)
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Equationally distinct countable simple {\textsf{Q}}-relation algebras (Q607448) (← links)
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- Some decisional problems on rational relations (Q1390853) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- Decidability of equational theories for subsignatures of relation algebra (Q1617808) (← links)
- Decision problems for subclasses of rational relations over finite and infinite words (Q1679989) (← links)
- Relation algebras can tile (Q1961863) (← links)
- A decidable equational theory with undecidable membership problem for finite algebras (Q1966168) (← 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)
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams (Q2915148) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- Weakly associative relation algebras with projections (Q3619868) (← links)
- Universal classes of simple relation algebras (Q4262570) (← links)
- (Q4430633) (← links)
- Inequivalent representations of geometric relation algebras (Q4457734) (← links)
- Deciding properties of integral relational automata (Q4632414) (← links)
- (Q4881682) (← 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)
