Abstract | ||
---|---|---|
In this paper we prove that the pseudovariety LS1 of local semilattices is completely kappa-reducible, where kappa is the implicit signature consisting of the multiplication and the omega-power. Informally speaking, given a finite equation system with rational constraints, the existence of a solution by pseudowords of the system over LS1 implies the existence of a solution by kappa-words of the system over LS1 satisfying the same constraints. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1142/S021819670900507X | INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION |
Keywords | Field | DocType |
Semigroup, pseudovariety, pseudoword, system of equations, implicit signature, complete tameness, complete reducibility, local semillatice, infinite word | Discrete mathematics,Algebra,System of linear equations,Multiplication,Semigroup,Pseudoword,Mathematics | Journal |
Volume | Issue | ISSN |
19 | 2 | 0218-1967 |
Citations | PageRank | References |
4 | 0.61 | 6 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Carlos Costa | 1 | 17 | 4.57 |
Conceição Nogueira | 2 | 4 | 1.29 |