References
- Albert , D. , Baldinger , R. and Rhodes , J. 1992 . Undecidability of the identity problem for finite semigroups . J. Symbolic Logic , 57 ( 1 ) : 179 – 192 .
- Almeida , J. 1995 . Finite Semigroups and Universal Algebra Singapore : World Scientific .
- Almeida , J. 1999 . Hyperdecidable pseudovarieties and the calculation of semidirect products . Int. J. Algebra Comput. , 9 : 241 – 261 .
- Almeida , J. 2002 . “ Finite semigroups: An introduction to a unified theory of pseudovarieties ” . In Semigroups, Algorithms, Automata and Languages Edited by: Gomes , G. , Pin , J.-E. and Silva , P. 3 – 64 . New Jersey/London, , Singapore/Hong Kong : World Scientific .
- Almeida , J. and Weil , P. 1995 . Free profinite semigroups over semidirect products . Russian Math. (Iz. VUZ) , 39 : 1 – 27 .
- Almeida , J. and Zeitoun , M. 1997 . The pseudovariety J is hyperdecidable . Theoretical Informatics Appl. , 31 : 457 – 482 .
- Almeida , J. and Steinberg , B. 2000 . On the decidability of iterated semidirect products and applications to complexity . Proc. London Math. Soc. , 80 : 50 – 74 .
- Almeida , J. and Zeitoun , M. 2003 . Tameness of some locally trivial pseudovarieties . Commun. Algebra , 31 : 61 – 77 .
- Almeida , J. and Delgado , M. Tameness of the pseudovariety of abelian groups. Int. J. Algebra Comput. To appear
- Ash , C. 1991 . Inevitable graphs: A proof of the type II conjecture and some related decision procedures . Int. J. Algebra Comput. , 1 : 127 – 146 .
- Auinger , K. and Steinberg , B. 2003 . On the extension problem for partial permutations . Proc. Am. Math. Soc. , 131 : 2693 – 2703 .
- Costa , J. C. 2002 . Some pseudovariety joins involving locally trivial semigroups . Semigroup Forum , 64 : 12 – 28 .
- Costa , J. C. and Teixeira , M. L. Tameness of the pseudovariety LSl. Int. J. Algebra Comput. To appear
- Reiterman , J. 1982 . The Birkhoff theorem for finite algebras . Algebra Universalis , 14 : 1 – 10 .
- Rhodes , J. 1999 . Undecidability, automata and pseudovarieties of semigroups . Int. J. Algebra Comput. , 9 : 455 – 473 .
- Steinberg , B. 1998 . On pointlike sets and joins of pseudovarieties . Int. J. Algebra Comput. , 8 : 203 – 231 .
- Steinberg , B. 2001 . Algorithmic problems for joins of pseudovarieties . Semigroup Forum , 62 : 1 – 40 .
- #Communicated by P. Higgins.