On bases of identities for the -variety generated by locally testable semigroups.
DOI10.1016/J.TCS.2008.04.043zbMATH Open1157.20030OpenAlexW1971102139MaRDI QIDQ935166FDOQ935166
Authors: José Carlos Costa, Conceição Nogueira 
Publication date: 31 July 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.04.043
Recommendations
- Identities of locally testable semigroups
- THE EQUATIONAL THEORY OF ω-TERMS FOR FINITE ${\mathcal R}$-TRIVIAL SEMIGROUPS
- On \(\omega \)-identities over finite aperiodic semigroups with commuting idempotents
- scientific article; zbMATH DE number 2050949
- On Using the Join Operation to Define Classes of Algebras
bases of identitiesfinite semigroupsword problempseudovarietiesidentity baseslocal testability of semigroupsomega-terms
Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35)
Cites Work
- Title not available (Why is that?)
- Characterizations of locally testable events
- Title not available (Why is that?)
- NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
- Title not available (Why is that?)
- An automata-theoretic approach to the word problem for \(\omega\)-terms over R
- Locally testable semigroups
- Algebraic decision procedures for local testability
- Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
- Free profinite locally idempotent and locally commutative semigroups
Cited In (8)
- Log-linear varieties of semigroups
- Title not available (Why is that?)
- The identities of the free product of a pair of two-element monoids
- Towards a pseudoequational proof theory
- Strongly locally testable semigroups with commuting idempotents and related languages
- Identities of locally testable semigroups
- A solution to the word problem for free pseudosemilattices
- On locally testable semigroups.
This page was built for publication: On bases of identities for the \(\omega\)-variety generated by locally testable semigroups.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q935166)
