38
Views
4
CrossRef citations to date
0
Altmetric
Original Articles

Reducibility of Joins Involving Some Locally Trivial Pseudovarieties

Pages 3517-3535 | Received 01 Mar 2003, Accepted 01 Jul 2003, Published online: 01 Feb 2007

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.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.