Undecidability of Algebras of Binary Relations (Q5015973): Difference between revisions

@@ Property / cites work @@
+Decision problems for equational theories of relation algebras
+Normal rank
@@ Property / cites work @@
+NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS
@@ Property / cites work: NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998034
@@ Property / cites work: Q3998034 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial aspects of relations
@@ Property / cites work: Combinatorial aspects of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddability and the Word Problem
@@ Property / cites work: Embeddability and the Word Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011716
@@ Property / cites work: Q4011716 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of relations as a foundation for mathematics
+Normal rank
@@ Property / cites work @@
+Groups and Algebras of Binary Relations
@@ Property / cites work: Groups and Algebras of Binary Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic problems for finite groups and finite \(0\)-simple semigroups
+Normal rank
@@ Property / cites work @@
+Completely Representable Relation Algebras
@@ Property / cites work: Completely Representable Relation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of equational theories for subsignatures of relation algebra
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of representability as binary relations
+Normal rank
@@ Property / cites work @@
+Some undecidable embedding problems for finite semigroups
+Normal rank
@@ Property / cites work @@
+Q4761443
@@ Property / cites work: Q4761443 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems for completely 0-simple semigroups.
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+ALGORITHMIC PROBLEMS IN VARIETIES
@@ Property / cites work: ALGORITHMIC PROBLEMS IN VARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+Potential Divisibility in Finite Semigroups is Undecidable
+Normal rank
@@ Property / cites work @@
+The equational theory of <i>CA</i><sub>3</sub> is undecidable
+Normal rank
@@ Property / cites work @@
+Some Varieties Containing Relation Algebras
@@ Property / cites work: Some Varieties Containing Relation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A perspective on the theory of relation algebras
@@ Property / cites work: A perspective on the theory of relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Eventually \({\mathcal H}\)-related sets and systems of equations over finite semigroups and rings
+Normal rank
@@ Property / cites work @@
+Unsolvability of the universal theory of finite groups
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5567863
@@ Property / cites work: Q5567863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2853707
@@ Property / cites work: Q2853707 / rank @@
+Normal rank