The following pages link to (Q4439449):
Displaying 13 items.
- The dual equivalence of equations and coequations for automata (Q498397) (← links)
- The expressive power of the shuffle product (Q710739) (← links)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- On varieties of meet automata (Q955003) (← links)
- Actions, wreath products of \(\mathcal C\)-varieties and concatenation product. (Q2490810) (← links)
- A Circuit Complexity Approach to Transductions (Q2946331) (← links)
- Alternation Hierarchies of First Order Logic with Regular Predicates (Q2947877) (← links)
- Hierarchies of Piecewise Testable Languages (Q3533034) (← links)
- Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups (Q3540122) (← links)
- Hierarchies and reducibilities on regular languages related to modulo counting (Q3549290) (← links)
- (Q4453869) (← links)
- (Q5013886) (← links)
- One quantifier alternation in first-order logic with modular predicates (Q5245724) (← links)
