TY - BOOK AU - Gomes,Gracinda M.S AU - Pin,Jean Eric AU - Silva,Pedro V TI - Semigroups, algorithms, automata, and languages: Coimbra, Portugal, May-July 2001 SN - 981238099X AV - QA182 .S444 2002 PY - 2002///] CY - River Edge, NJ PB - World Scientific KW - Semigroups KW - Congresses KW - Algorithms KW - Machine theory KW - Formal languages N1 - Includes bibliographical references; Contents; Preface; Finite semigroups: An introduction to a unified theory of pseudovarieties; /Jorge Almeida; On existence varieties of regular semigroups; /Karl Auinger; Varieties of languages; /Mario J. J. Branco; A short introduction to automatic group theory; /Christian Choffrut; An introduction to covers for semigroups; /John Fountain; E[superscript *]-unitary inverse semigroups; /Mark V. Lawson; Some results on semigroup-graded rings; /W. D. Munn; Profinite groups and applications to finite semigroups; /Luis Ribes; Dynamics of finite semigroups; /Jorge Almeida; Group presentations for a class of radical rings of matrices; /Noelle Antony, Clare Coleman, David Easdown; Finite semigroups imposing tractable constraints; /Andrei Bulatov, Peter Jeavons, Mikhail Volkov; On the efficiency and deficiency of Rees matrix semigroups; /C. M. Campbell, J. D. Mitchell, N. Ruskuc; Some pseudovariety joins involving groups and locally trivial semigroups; /Jose Carlos Costa; Partial action of groups on relational structures: A connection between model theory and profinite topology; /Thierry Coulbois; Presentations for some monoids of partial transformations on a finite chain: A survey; /Vitor H. Fernandes; Some relatives of automatic and hyperbolic groups; /Michael Hoffmann, Dietrich Kuske, Friedrich Otto, Richard M. Thomas; Operators on classes of regular languages; /Libor Polak; Automata in autonomous varieties; /Olga Sokratova; A sampler of a topological approach to inverse semigroups; /Benjamin Steinberg; Finite semigroups and the logical description of regular languages; /Howard Straubing; Diamonds are forever: The variety DA; /Pascal Tesson, Denis Therien; Decidability problems in finite semigroups; /Peter G. Trotter ER -