Pages that link to "Item:Q5310680"
From MaRDI portal
The following pages link to Logic Meets Algebra: the Case of Regular Languages (Q5310680):
Displaying 11 items.
- The complexity of intersecting finite automata having few final states (Q347114) (← links)
- Fragments of first-order logic over infinite words (Q537914) (← links)
- On the lattice of sub-pseudovarieties of DA. (Q711615) (← links)
- A topological approach to non-uniform complexity (Q2280323) (← links)
- Typed Monoids – An Eilenberg-Like Theorem for Non Regular Languages (Q3014933) (← links)
- On FO 2 Quantifier Alternation over Words (Q3182951) (← links)
- Regular Languages Definable by Majority Quantifiers with Two Variables (Q3637216) (← links)
- Quantifiers on languages and codensity monads (Q5006459) (← links)
- Kleene Theorems for Product Systems (Q5200095) (← 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)