Pages that link to "Item:Q5339335"
From MaRDI portal
The following pages link to On finite monoids having only trivial subgroups (Q5339335):
Displayed 50 items.
- Determination of finite automata accepting subregular languages (Q2271457) (← links)
- Pro-aperiodic monoids via saturated models (Q2279939) (← links)
- A topological approach to non-uniform complexity (Q2280323) (← links)
- Generic results for concatenation hierarchies (Q2311891) (← links)
- Omega-rational expressions with bounded synchronization delay (Q2354594) (← links)
- Concatenation-free languages (Q2357107) (← links)
- On the expressive power of temporal logic (Q2366686) (← links)
- Weighted automata and weighted logics (Q2373736) (← links)
- Concatenation hierarchies: new bottle, old wine (Q2399361) (← links)
- The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy (Q2411037) (← links)
- Languages of dot-depth 3/2 (Q2480745) (← links)
- Algebraic recognizability of regular tree languages (Q2484441) (← links)
- Actions, wreath products of \(\mathcal C\)-varieties and concatenation product. (Q2490810) (← links)
- Characterizing EF and EX tree logics (Q2503041) (← links)
- The structure of finite monoids satisfying the relation \(\mathcal R=\mathcal H\). (Q2514861) (← links)
- On the pseudovariety generated by all finite monoids satisfying \(\mathcal R=\mathcal H\). (Q2516602) (← links)
- Locally testable languages (Q2554236) (← links)
- Positive varieties of tree languages (Q2576866) (← links)
- The many faces of a translation (Q2581761) (← links)
- Characterization of the pseudovariety generated by finite monoids satisfying \(\mathcal R=\mathcal H\). (Q2631310) (← links)
- Quantifier Alternation for Infinite Words (Q2811342) (← links)
- Profinite Monads, Profinite Equations, and Reiterman’s Theorem (Q2811362) (← links)
- Schützenberger Products in a Category (Q2817378) (← links)
- Aperiodic String Transducers (Q2817381) (← links)
- Problems on Finite Automata and the Exponential Time Hypothesis (Q2830210) (← links)
- An aperiodicity problem for multiwords (Q2911425) (← links)
- McCammond’s normal forms for free aperiodic semigroups revisited (Q2940603) (← links)
- Classes of Languages Generated by the Kleene Star of a Word (Q2946333) (← links)
- Expressive Capacity of Concatenation Freeness (Q2947422) (← links)
- Alternation Hierarchies of First Order Logic with Regular Predicates (Q2947877) (← links)
- A Note on Decidable Separability by Piecewise Testable Languages (Q2947878) (← links)
- Theme and Variations on the Concatenation Product (Q3014930) (← links)
- Typed Monoids – An Eilenberg-Like Theorem for Non Regular Languages (Q3014933) (← links)
- GENERALIZED CONTEXTS AND n-ARY SYNTACTIC SEMIGROUPS OF TREE LANGUAGES (Q3084665) (← links)
- Linear Completeness Thresholds for Bounded Model Checking (Q3088266) (← links)
- Quantum Automata Theory – A Review (Q3098037) (← links)
- A conjecture on the concatenation product (Q3147025) (← links)
- Weak Second‐Order Arithmetic and Finite Automata (Q3287248) (← links)
- (Q3304129) (← links)
- (Q3304144) (← links)
- Limited Set quantifiers over Countable Linear Orderings (Q3449472) (← links)
- On Decidability of Intermediate Levels of Concatenation Hierarchies (Q3451089) (← links)
- Complexity Analysis: Transformation Monoids of Finite Automata (Q3451097) (← links)
- Extensions of an idea of McNaughton (Q3489464) (← links)
- The Algebraic Counterpart of the Wagner Hierarchy (Q3507423) (← links)
- On finite generation and presentability of Schützenberger products (Q3507541) (← links)
- A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS (Q3538848) (← links)
- Characterization of Logics over Ranked Tree Languages (Q3540193) (← links)
- Hierarchies and reducibilities on regular languages related to modulo counting (Q3549290) (← links)
- On the Krohn-Rhodes Cascaded Decomposition Theorem (Q3587258) (← links)