The following pages link to Equational theories for automata (Q2074221):
Displaying 6 items.
- Tree automata with equality constraints modulo equational theories (Q2426520) (← links)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247) (← links)
- Equational axioms for regular sets (Q4279247) (← links)
- (Q4662830) (← links)
- (Q4720788) (← links)
- Effective theories for circuits and automata (Q5264344) (← links)