The following pages link to (Q3774066):
Displaying 26 items.
- Conservative groupoids recognize only regular languages (Q476161) (← links)
- On the varieties of languages associated with some varieties of finite monoids with commuting idempotents (Q913522) (← links)
- A counterexample to a conjecture concerning concatenation hierarchies (Q990089) (← links)
- Semigroups and languages of dot-depth two (Q1109125) (← links)
- Inverse monoids of dot-depth two (Q1124363) (← links)
- Polynomial operations and hierarchies of concatenation (Q1183588) (← links)
- A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups (Q1206787) (← links)
- Some results on the dot-depth hierarchy (Q1207707) (← links)
- Free profinite \(\mathcal R\)-trivial, locally idempotent and locally commutative semigroups (Q1293384) (← links)
- Over testable languages (Q1351950) (← links)
- Logic, semigroups and automata on words (Q1817074) (← links)
- Algebraic tools for the concatenation product. (Q1853747) (← links)
- The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based (Q2297054) (← links)
- Generic results for concatenation hierarchies (Q2311891) (← links)
- Concatenation hierarchies: new bottle, old wine (Q2399361) (← links)
- A conjecture on the concatenation product (Q3147025) (← links)
- Strongly locally testable semigroups with commuting idempotents and related languages (Q4256142) (← links)
- Separating regular languages with two quantifier alternations (Q4558789) (← links)
- The product of rational languages (Q4630281) (← links)
- Polynomial closure and unambiguous product (Q4645191) (← links)
- The globals of pseudovarieties of ordered semigroups containing<i>B</i><sub>2</sub>and an application to a problem proposed by Pin (Q4680724) (← links)
- The pseudovariety of semigroups of triangular matrices over a finite field (Q4680725) (← links)
- The Complexity of Separation for Levels in Concatenation Hierarchies (Q5090988) (← links)
- The Quantifier Alternation Hierarchy of Synchronous Relations (Q5092389) (← links)
- (Q5155687) (← links)
- (Q5184421) (← links)
