The following pages link to (Q4430309):
Displaying 10 items.
- Equations over finite sets of words and equivalence problems in automata theory (Q685449) (← links)
- The equivalence of finite valued transducers (on HDT0L languages) is decidable (Q1090467) (← links)
- Balance of many-valued transductions and equivalence problems (Q1095671) (← links)
- Multiplicities: A deterministic view of nondeterminism (Q1194314) (← links)
- On the size of independent systems of equations in semigroups (Q1351001) (← links)
- Finite transducers and rational transductions (Q2074205) (← links)
- Equations over the \(k\)-binomial monoids (Q2140471) (← links)
- A compactness property of the \(k\)-abelian monoids (Q2192368) (← links)
- Compactness of systems of equations in semigroups (Q4645199) (← links)
- On the size of independent systems of equations in semigroups (Q5096903) (← links)
