Abstract (EN):
Tameness is a strong property of semigroup pseudovarieties related to the membership problem. Let kappa be the signature comprising semigroup multiplication and the omega implicit operation. We prove the kappa-tameness of the pseudovarieties N, D, K and LI.
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica