Add to ORKGIt is shown that the pseudovariety R of all finite R-trivial semigroups is completely reducible with respect to the canonical signature. Informally, if the variables in a finite system of equations with rational constraints may be evaluated by pseudowords so that each value belongs to the closure of the corresponding rational constraint and the system is verified in R, then there is some such evaluation which is “regular”, that is one in which, additionally, the pseudowords only involve multiplications and ω-powers
We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. ...
Given a regular language L, we effectively construct a unary semigroup that recognizes the topologic...
A paper of Almeida and Trotter [‘The pseudoidentity problem and reducibility for completely regular ...
It is shown that the pseudovariety R of all finite R-trivial semigroups is completely reducible wit...
The notion of reducibility for a pseudovariety has been introduced as an abstract property which may...
This paper deals with the reducibility property of semidirect products of the form V *D relatively t...
In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, w...
In this paper we prove that the pseudovariety LSl of local semilattices is com-pletely κ-reducible, ...
In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, w...
In this paper, we investigate the reducibility property of semidirect products of the form V *D rela...
We show that the pointlike and the idempotent pointlike problems are reducible with respect to natur...
The notion of reducibility for a pseudovariety has been introduced as an abstract property which may...
We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. ...
We show that the pointlike and the idempotent pointlike problems are reducible with respect to natur...
property which may be used to prove decidability results for various pseudovariety constructions. Th...
We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. ...
Given a regular language L, we effectively construct a unary semigroup that recognizes the topologic...
A paper of Almeida and Trotter [‘The pseudoidentity problem and reducibility for completely regular ...
It is shown that the pseudovariety R of all finite R-trivial semigroups is completely reducible wit...
The notion of reducibility for a pseudovariety has been introduced as an abstract property which may...
This paper deals with the reducibility property of semidirect products of the form V *D relatively t...
In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, w...
In this paper we prove that the pseudovariety LSl of local semilattices is com-pletely κ-reducible, ...
In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, w...
In this paper, we investigate the reducibility property of semidirect products of the form V *D rela...
We show that the pointlike and the idempotent pointlike problems are reducible with respect to natur...
The notion of reducibility for a pseudovariety has been introduced as an abstract property which may...
We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. ...
We show that the pointlike and the idempotent pointlike problems are reducible with respect to natur...
property which may be used to prove decidability results for various pseudovariety constructions. Th...
We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. ...
Given a regular language L, we effectively construct a unary semigroup that recognizes the topologic...
A paper of Almeida and Trotter [‘The pseudoidentity problem and reducibility for completely regular ...