Tameness of the pseudovariety LS1

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.

Bibliographic Details
Main Author: Costa, José Carlos (author)
Other Authors: Teixeira, M. L. (author)
Format: article
Language:eng
Published: 2004
Subjects:
Semigroup
Pseudovariety
Implicit operation
Tameness
Local semillatice
Infinite word
Graph labelling
graph labeling
Ciências Naturais::Matemáticas
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
Online Access:http://hdl.handle.net/1822/36666
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/36666

Internet

http://hdl.handle.net/1822/36666

Similar Items