The following pages link to (Q3806849):
Displaying 14 items.
- Monadic partition logics and finite automata (Q671644) (← links)
- Products of languages with counter (Q917324) (← links)
- Mathematical logic and quantum finite state automata (Q1017412) (← links)
- Languages and scanners (Q1177931) (← links)
- Logically defined subsets of \(\mathbb{N}{}^ k\) (Q1186601) (← links)
- Regular languages in \(NC\) (Q1191027) (← links)
- Formulas, regular languages and Boolean circuits (Q1193413) (← links)
- Closure of varieties of languages under products with counter (Q1201878) (← links)
- Modulo-counting quantifiers over finite trees (Q1325850) (← links)
- Logic, semigroups and automata on words (Q1817074) (← links)
- First-order logic and its infinitary quantifier extensions over countable words (Q2140479) (← links)
- The many faces of a translation (Q2581761) (← links)
- A note on some languages in uniform \(ACC^ 0\) (Q2638770) (← links)
- On uniformity within \(NC^ 1\) (Q2640342) (← links)
