The pseudovariety $J$ is hyperdecidable (Q4385676): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W157114451
@@ Property / OpenAlex ID: W157114451 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the identity problem for finite semigroups
+Normal rank
@@ Property / cites work @@
+The algebra of implicit operations
@@ Property / cites work: The algebra of implicit operations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4848740
@@ Property / cites work: Q4848740 / rank @@
+Normal rank
@@ Property / cites work @@
+HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
+Normal rank
@@ Property / cites work @@
+On the hyperdecidability of semidirect products of pseudovarieties
+Normal rank
@@ Property / cites work @@
+INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
+Normal rank
@@ Property / cites work @@
+Pointlike sets: the finest aperiodic cover of a finite semigroup
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3769981
@@ Property / cites work: Q3769981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3759042
@@ Property / cites work: Q3759042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077455
@@ Property / cites work: Q4077455 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE DECIDABILITY OF THE MEMBERSHIP PROBLEM OF THE PSEUDOVARIETY J∨B
+Normal rank