A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
ISSN: 1727-933X, 1607-3606
Año de publicación: 2019
Volumen: 42
Número: 10
Páginas: 1427-1444
Tipo: Artículo
ISSN: 1727-933X, 1607-3606
Año de publicación: 2019
Volumen: 42
Número: 10
Páginas: 1427-1444
Tipo: Artículo