The following pages link to (Q3044318):
Displaying 6 items.
- Linear circuits, two-variable logic and weakly blocked monoids (Q391307) (← links)
- On free spectra of finite monoids from the pseudovariety \(\mathsf{DA}\). (Q1935469) (← links)
- A Language-Theoretical Approach to Descriptive Complexity (Q2817376) (← links)
- Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG] (Q3618574) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)
- Substitution Principle and semidirect products (Q6190406) (← links)
