Add to ORKGAbstract. This paper presents a study of the semidirectly closed pseudovariety generated by the aperiodic Brandt semigroup B2, denoted V¤(B2). We construct a basis of pseudoidentities for the semidirect powers of the pseudovariety generated by B2 which leads to the main result, which states that V¤(B2) is decidable. Independently, using some suggestions given by J. Almeida in his book \Finite Semigroups and Universal Algebra", we constructed an algorithm to solve the membership problem in V¤(B2). 1
: We use classical results on the lattice L(B) of varieties of band (idempotent) semigroups to obtai...
AbstractA picture is given of the poset of pseudovarieties generated by the power monoids of the mem...
The implicit operation # is the unary operation which sends each element of a finite semigroup to t...
This paper presents a study of the semidirectly closed pseudovariety generated by the aperiodic Bra...
Abstract. The aim of this work is to study the unknown intervals of the lattice of aperiodic pseudov...
AbstractThe aim of this work is to study the unknown intervals of the lattice of aperiodic pseudovar...
The notion of hyperdecidability has been introduced as a tool which is particularly suited for grant...
The word problems for ω-terms over the pseudovariety of aperiodic semigroups with commuting idempot...
J. Rhodes asked during the Chico conference in 1986 for the calculation of joins of semigroup pseudo...
This article defines the notion of hyperdecidability for a class of finite semigroups, which is clos...
Let D_n be the pseudovariety of all finite semigroups in which products of length n are right zeros ...
Rhodes asked during the Chico conference in 1986 for the calculation of joins of semigroup pseudova...
AbstractLet Dn be the pseudovariety of all finite semigroups in which products of length n are right...
Let D n be the pseudovariety of all finite semigroups in which products of length n are right zeros...
Abstract. This paper provides a characterization of pseudowords over the pseudovariety of all finite...
: We use classical results on the lattice L(B) of varieties of band (idempotent) semigroups to obtai...
AbstractA picture is given of the poset of pseudovarieties generated by the power monoids of the mem...
The implicit operation # is the unary operation which sends each element of a finite semigroup to t...
This paper presents a study of the semidirectly closed pseudovariety generated by the aperiodic Bra...
Abstract. The aim of this work is to study the unknown intervals of the lattice of aperiodic pseudov...
AbstractThe aim of this work is to study the unknown intervals of the lattice of aperiodic pseudovar...
The notion of hyperdecidability has been introduced as a tool which is particularly suited for grant...
The word problems for ω-terms over the pseudovariety of aperiodic semigroups with commuting idempot...
J. Rhodes asked during the Chico conference in 1986 for the calculation of joins of semigroup pseudo...
This article defines the notion of hyperdecidability for a class of finite semigroups, which is clos...
Let D_n be the pseudovariety of all finite semigroups in which products of length n are right zeros ...
Rhodes asked during the Chico conference in 1986 for the calculation of joins of semigroup pseudova...
AbstractLet Dn be the pseudovariety of all finite semigroups in which products of length n are right...
Let D n be the pseudovariety of all finite semigroups in which products of length n are right zeros...
Abstract. This paper provides a characterization of pseudowords over the pseudovariety of all finite...
: We use classical results on the lattice L(B) of varieties of band (idempotent) semigroups to obtai...
AbstractA picture is given of the poset of pseudovarieties generated by the power monoids of the mem...
The implicit operation # is the unary operation which sends each element of a finite semigroup to t...