Tameness of Some Locally Trivial Pseudovarieties

References

• Douglas , Albert , Robert , Baldinger and John , Rhodes . 1992 . Undecidability of the identity problem for finite semigroups . J. Symbolic Logic , 57 ( 1 ) : 179 – 192 .
   Google Scholar
• Jorge , Almeida . 1989 . The algebra of implicit operations . Algebra Universalis , 26 : 16 – 32 .
   Google Scholar
• Jorge , Almeida . 1989 . “ Equations for pseudovarieties ” . In Formal Properties of Finite Automata and Applications Edited by: Pin , J.-E. 148 – 164 . Springer-Verlag . volume 386 of Lect. Notes Comp. Sci
   Google Scholar
• Jorge , Almeida . 1995 . Finite Semigroups and Universal Algebra World Scientific . Volume 3 of Series in Algebra
   Google Scholar
• Jorge , Almeida . 1999a . Hyperdecidable pseudovarieties and the calculation of semidirect products . Internat. J. Algebra Comput. , 9 : 241 – 261 .
   Google Scholar
• Jorge , Almeida . 1999b . Some algorithmic problems for pseudovarieties . Publ. Math. Debrecen. , 54 suppl : 531 – 552 .
   Google Scholar
• Jorge , Almeida , Assis , Azevedo and Marc , Zeitoun . 1999 . Pseudovariety joins involving ℐ-trivial semigroups and completely regular semigroups . Internat. J. Algebra Comput. , 9 : 99 – 112 .
   Google Scholar
• Jorge , Almeida and Benjamin , Steinberg . 2000a . On the decidability of iterated semidirect products and applications to complexity . Proc. London Math. Soc. , 80 : 50 – 74 .
   Google Scholar
• Jorge , Almeida and Benjamin , Steinberg . 2000 . “ Syntactic and global semigroup theory, a synthesis approach ” . In Algorithmic Problems in Groups and Semigroups Edited by: Jean-Camille , Birget , Stuart W. , Margolis and Mark V. , Sapir . Birkhäuser Verlag .
   Google Scholar
• Chris J. , Ash . 1991 . Inevitable graphs: a proof fo the type II conjecture and some related decision procedures . Internat. J. Algebra Comput. , 1 : 27 – 146 .
   Google Scholar
• Samuel , Eilenberg . 1988 . Automata Languages and Machines Vol. B , Academic Press .
   Google Scholar
• Karsten , Henckell . 1988 . Pointlike sets: the finest aperiodic cover of a finite semigroup . J. Pure Appl. Algebra , 55 : 88 – 126 .
   Google Scholar
• Jean-Éric , Pin . 1994 . Logic on words . Bull. EATCS , 54 : 145 – 165 .
   Google Scholar
• Jean-Éric , Pin . 1996 . Logic, semigroups and automata on words . Ann. Math. Artif. Intel. , 16 : 343 – 384 .
   Google Scholar
• Jan , Reiterman . 1982 . The Birkhoff theorem for finite algebras . Algebra Universalis , 14 : 1 – 10 .
   Google Scholar
• John , Rhodes . 1999 . “ New techniques in global semigroup theory ” . In Semigroups and their Applications Edited by: Gober-stein , S. and Higgins , P. 168 – 181 . Dordrecht D. Reidel Chico Conference, 1986
   Google Scholar
• John , Rhodes . 1999 . Undecidability automata and pseudovarieties of finite semigroups . Internat. J. Algebra Comput. , 9 : 455 – 473 .
   Google Scholar
• Benjamin , Steinberg . 1998 . On pointlike sets and joins of pseudovarieties . Internat. J. Algebra Comput. , 8 : 203 – 231 .
   Google Scholar
• Howard , Straubing . 1994 . “ Progress in Theoretical Computer Science ” . In Finite Automata, Formal Logic and Circuit Complexity Birkhäuse, Basel
   Google Scholar
• Wolfgang , Thomas . 1988 . “ Chapter Langauages, Automata and Logic ” . In Handbook of Formal Language Theory Vol. 3 , 389 – 455 . Berlin : Springer-Verlag .
   Google Scholar
• Thomas , Wilke . 1998 . Classifying discrete temporal properties . Habilitation Thesis
   Google Scholar