TAMENESS OF THE PSEUDOVARIETY LS1
DOI10.1142/S0218196704001955zbMATH Open1087.20039MaRDI QIDQ4658703FDOQ4658703
Authors: José Carlos Costa, Maria Lurdes Teixeira 
Publication date: 18 March 2005
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Recommendations
- Tameness of Some Locally Trivial Pseudovarieties
- Semidirect product with an order-computable pseudovariety and tameness.
- Tameness of joins involving the pseudovariety of local semilattices.
- Every decidable pseudovariety of abelian groups is completely tame
- Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
decidabilitysemigroupsword probleminfinite wordsgraph labelingstamenessimplicit operationspseudovarietieslocal semilatticeslocally testable languages
Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35)
Cites Work
- Characterizations of locally testable events
- INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- The Birkhoff theorem for finite algebras
- Algebraic decision procedures for local testability
- Free profinite locally idempotent and locally commutative semigroups
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
- Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
- Undecidability of the identity problem for finite semigroups
- HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
- Some key problems on finite semigroups
- Tameness of Some Locally Trivial Pseudovarieties
Cited In (11)
- Towards a pseudoequational proof theory
- On \(\kappa\)-reducibility of pseudovarieties of the form \(V \ast D\)
- Every decidable pseudovariety of abelian groups is completely tame
- COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
- Tameness of joins involving the pseudovariety of local semilattices.
- Pointlike reducibility of pseudovarieties of the form \(\mathbf V*\mathbf D\).
- Semigroup presentations for test local groups.
- Tameness of Some Locally Trivial Pseudovarieties
- McCammond’s normal forms for free aperiodic semigroups revisited
- Profinite topologies
- Tameness of pseudovariety joins involving R.
This page was built for publication: TAMENESS OF THE PSEUDOVARIETY LS1
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4658703)
