HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS (Q4513299): Difference between revisions

@@ Property / author @@
-Jorge Almeida
@@ Property / author: Jorge Almeida / rank @@
-Normal rank
@@ Property / author @@
+Jorge Almeida
@@ Property / author: Jorge Almeida / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the identity problem for finite semigroups
+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 @@
+PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$  -TRIVIAL SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+On the hyperdecidability of semidirect products of pseudovarieties
+Normal rank
@@ Property / cites work @@
+Profinite categories and semidirect products
@@ Property / cites work: Profinite categories and semidirect products / rank @@
+Normal rank
@@ Property / cites work @@
+The pseudovariety $J$ is hyperdecidable
@@ Property / cites work: The pseudovariety $J$ is hyperdecidable / 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 @@
+Abelian pointlikes of a monoid
@@ Property / cites work: Abelian pointlikes of a monoid / rank @@
+Normal rank
@@ Property / cites work @@
+Pointlike sets: the finest aperiodic cover of a finite semigroup
+Normal rank
@@ Property / cites work @@
+Product expansions
@@ Property / cites work: Product expansions / rank @@
+Normal rank
@@ Property / cites work @@
+ASH'S TYPE II THEOREM, PROFINITE TOPOLOGY AND MALCEV PRODUCTS: PART I
+Normal rank
@@ Property / cites work @@
+Profinite categories, implicit operations and pseudovarieties of categories
+Normal rank
@@ Property / cites work @@
+Decidability of complexity one-half for finite semigroups
+Normal rank
@@ Property / cites work @@
+Bases for equational theories of semi-groups
@@ Property / cites work: Bases for equational theories of semi-groups / rank @@
+Normal rank
@@ Property / cites work @@
+Profinite semigroups, Mal'cev products, and identities
+Normal rank
@@ Property / cites work @@
+The Birkhoff theorem for finite algebras
@@ Property / cites work: The Birkhoff theorem for finite algebras / 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
@@ Property / cites work @@
+ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
+Normal rank