Results 1 to 10 of about 309 (55)
COMPLETE REDUCIBILITY OF PSEUDOVARIETIES [PDF]
, 2007 The notion of reducibility for a pseudovariety has been introduced as an abstract property which may be used to prove decidability results for various pseudovariety constructions.
Jorge Almeida, J C Costa
exaly +3 more sources
E-varieties and E-pseudovarieties of regular semigroups [PDF]
Bulletin of the Australian Mathematical Society, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Theorems of Birkhoff type in pseudovarieties and e-varieties of regular semigroups [PDF]
Bulletin of the Australian Mathematical Society, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Eilenberg Theorems for Free [PDF]
, 2017 Eilenberg-type correspondences, relating varieties of languages (e.g. of finite words, infinite words, or trees) to pseudovarieties of finite algebras, form the backbone of algebraic language theory.
Adámek, Jiří +3 more
core +2 more sources
Logic Meets Algebra: the Case of Regular Languages [PDF]
, 2007 The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Buchi, regular languages have been classified according to their descriptive complexity, i.e.
Denis Thérien +2 more
core +2 more sources
The omega-inequality problem for concatenation hierarchies of star-free languages [PDF]
, 2017 The problem considered in this paper is whether an inequality of omega-terms is valid in a given level of a concatenation hierarchy of star-free languages.
Almeida, J., Klíma, O., Kunc, M.
core +2 more sources
Equidivisible pseudovarieties of semigroups [PDF]
, 2016 We give a complete characterization of pseudovarieties of semigroups whose finitely generated relatively free profinite semigroups are equidivisible. Besides the pseudovarieties of completely simple semigroups, they are precisely the pseudovarieties that
Almeida, Jorge, Costa, Alfredo
core +2 more sources
Free profinite semigroups over some classes of semigroups locally in DG [PDF]
, 2000 This paper is concerned with the structure of semigroups of implicit operations on various subpseudovarieties V of DReG intersection with LDG, where DReG and DG are the pseudovarieties of all semigroups S in which each regular D-class is, respectively, a
Costa, José Carlos
core +1 more source
Some pseudovariety joins involving locally trivial semigroups and groups [PDF]
, 2001 In this paper, we present the computation of some pseudovariety joins of the form LI v H v V where LI is the pseudovariety of locally trivial semigroups and H is any pseudovariety of groups.
Costa, José Carlos
core +1 more source
An effective characterization of the alternation hierarchy in two-variable logic [PDF]
, 2012 We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two variables by identities. This implies decidability of the individual levels. More generally we show that the two-sided semidirect
Krebs, Andreas, Straubing, Howard
core +3 more sources