Semidirect product with an order-computable pseudovariety and tameness. (Q5962327): Difference between revisions

@@ Property / OpenAlex ID @@
+W2062215135
@@ Property / OpenAlex ID: W2062215135 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
+Normal rank
@@ Property / cites work @@
+Q4003594
@@ Property / cites work: Q4003594 / rank @@
+Normal rank
@@ Property / cites work @@
+A SYNTACTICAL PROOF OF LOCALITY OF DA
@@ Property / cites work: A SYNTACTICAL PROOF OF LOCALITY OF DA / rank @@
+Normal rank
@@ Property / cites work @@
+HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
+Normal rank
@@ Property / cites work @@
+Q4407421
@@ Property / cites work: Q4407421 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and tameness in the theory of finite semigroups.
+Normal rank
@@ Property / cites work @@
+Infinite-vertex free profinite semigroupoids and symbolic dynamics.
+Normal rank
@@ Property / cites work @@
+On some systems of equations with constraints in a free group. -- Addenda.
+Normal rank
@@ Property / cites work @@
+On the hyperdecidability of semidirect products of pseudovarieties
+Normal rank
@@ Property / cites work @@
+On the Decidability of Iterated Semidirect Products with Applications to Complexity
+Normal rank
@@ Property / cites work @@
+Q4942266
@@ Property / cites work: Q4942266 / rank @@
+Normal rank
@@ Property / cites work @@
+Profinite categories and semidirect products
@@ Property / cites work: Profinite categories and semidirect products / rank @@
+Normal rank
@@ Property / cites work @@
+INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
+Normal rank
@@ Property / cites work @@
+On the extension problem for partial permutations
@@ Property / cites work: On the extension problem for partial permutations / rank @@
+Normal rank
@@ Property / cites work @@
+Equations in free groups are not finitely approximable
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending partial automorphisms and the profinite topology on free groups
+Normal rank
@@ Property / cites work @@
+Profinite categories, implicit operations and pseudovarieties of categories
+Normal rank
@@ Property / cites work @@
+Q3769981
@@ Property / cites work: Q3769981 / rank @@
+Normal rank
@@ Property / cites work @@
+UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+Q5302760
@@ Property / cites work: Q5302760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3362125
@@ Property / cites work: Q3362125 / rank @@
+Normal rank
@@ Property / cites work @@
+On Pointlike Sets and Joins of Pseudovarieties
@@ Property / cites work: On Pointlike Sets and Joins of Pseudovarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Categories as algebra: An essential ingredient in the theory of monoids
+Normal rank