Tameness of the pseudovariety LS1
| Autor: | M. L. Teixeira, José Carlos Costa |
|---|---|
| Přispěvatelé: | Universidade do Minho |
| Jazyk: | angličtina |
| Rok vydání: | 2004 |
| Předmět: |
Graph labeling
Property (philosophy) General Mathematics Pseudovariety Semigroup 010103 numerical & computational mathematics 01 natural sciences Combinatorics Mathematics::Group Theory Infinite word Tameness 0101 mathematics Graph labelling Mathematics::Representation Theory Mathematics Ciências Naturais::Matemáticas Discrete mathematics Science & Technology Local semillatice 010102 general mathematics Implicit operation graph labeling Ciências Naturais::Ciências da Computação e da Informação Decidability Ciências da Computação e da Informação [Ciências Naturais] Computer Science::Formal Languages and Automata Theory Matemáticas [Ciências Naturais] |
| Zdroj: | 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 |
| Popis: | 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 work was supported, in part, by FCT through the Centro de Matemática da Universidade do Minho, and by the FCT and POCTI approved project POCTI/32817/MAT/2000 which is comparticipated by the European Community Fund FEDER. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|