The following pages link to Varieties (Q2074217):
Displaying 11 items.
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
- Varieties of Togliatti type (Q857071) (← links)
- Varieties of shells (Q1272242) (← links)
- On the variety question for wRRA (Q2474097) (← links)
- Legendrian varieties (Q2477148) (← links)
- Balanced varieties (Q2708724) (← links)
- (Q3698937) (← links)
- Hessenberg Varieties (Q4018914) (← links)
- Subvarieties of the Variety of Meadows (Q4621209) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)
- Forbidden Patterns for FO<sup>2</sup> Alternation Over Finite and Infinite Words (Q6169964) (← links)