Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Local semillatice"'
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, where κ is the implicit signature consisting of the multiplication and the ω-power. Informally speaking, given a finite equation system with rationa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::844d3e25154d743a5e03d1437f738079
https://hdl.handle.net/1822/36664
https://hdl.handle.net/1822/36664
Autor:
M. L. Teixeira, José Carlos Costa
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Scopus-Elsevier
CIÊNCIAVITAE
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Scopus-Elsevier
CIÊNCIAVITAE
The notion of k-tameness of a pseudovariety was introduced by Almeida and Steinberg and is a strong property which implies decidability of pseudovarieties. In this paper we prove that the pseudovariety LSl, of local semilattices, is k-tame.
This
This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::27af13160c253f3443037712242456d9
https://hdl.handle.net/1822/36666
https://hdl.handle.net/1822/36666
Autor:
Conceição Nogueira, José Carlos Costa
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
In this paper we prove that, if V is a kappa-tame pseudovariety which satisfies the pseudoidentity xy^{\omega+1}z=xyz, then the pseudovariety join LSl v V is also kappa-tame. Here, LSl denotes the pseudovariety of local semilattices and kappa denotes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b52621cdee69c65906da03567a1ab788
https://doi.org/10.1142/s0218196712500609
https://doi.org/10.1142/s0218196712500609
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.