TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES
Publication:4902679
DOI10.1142/S0218196712500609zbMath1268.20061OpenAlexW2106334473MaRDI QIDQ4902679
José Carlos Costa, Conceição Nogueira
Publication date: 17 January 2013
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218196712500609
finite semigroupsjoins of pseudovarietiespseudovarieties of semigroupspseudoidentitiesdecidability of membershiplocal semilatticespseudowordstame pseudovarietiesgraph equation systems
Lattices of varieties (08B15) Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Quasivarieties (08C15)
Related Items
Cites Work
- Tameness of pseudovariety joins involving R.
- The Birkhoff theorem for finite algebras
- Locally testable semigroups
- Characterizations of locally testable events
- The pseudoidentity problem and reducibility for completely regular semigroups
- Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
- INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
- COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
- Undecidability of the identity problem for finite semigroups
- Equations in free groups are not finitely approximable
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
- TAMENESS OF THE PSEUDOVARIETY LS1
- Algebraic decision procedures for local testability
- Tameness of Some Locally Trivial Pseudovarieties
- On the extension problem for partial permutations
- TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS
- Free profinite locally idempotent and locally commutative semigroups