The following pages link to (Q4502531):
Displaying 7 items.
- Branching automata with costs -- a way of reflecting parallelism in costs (Q703495) (← links)
- Skew and infinitary formal power series (Q860889) (← links)
- Weighted tree automata and weighted logics (Q860890) (← links)
- On aperiodic and star-free formal power series in partially commuting variables (Q927397) (← links)
- On transformations of formal power series. (Q1401954) (← links)
- Derivatives of rational expressions and related theorems. (Q1426157) (← links)
- Weighted automata and weighted logics (Q2373736) (← links)
