ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
Jorge Almeida · International Journal of Algebra and Computation · 2000
Recent results related to hyperdecidability and their applications to decidability of semidirect products are reviewed. Hyperdecidability is studied for pseudovarieties of completely simple semigroups as a means of illustrating the kind of techniques that may be used in this area.