The following pages link to (Q3027187):
Displayed 22 items.
- Representations and complete semiring morphisms (Q672829) (← links)
- Shuffle on trajectories: Syntactic constraints (Q1128661) (← links)
- Nivat's theorem for pushdown transducers (Q1193872) (← links)
- On transductions of formal power series over complete semirings (Q1194315) (← links)
- On limits in complete semirings (Q1194435) (← links)
- Models of a \(K\)-rational identity system (Q1201883) (← links)
- On Lindenmayerian algebraic power series (Q1391140) (← links)
- On Lindenmayerian algebraic sequences (Q1391141) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On D0L power series (Q1575708) (← links)
- Inductive \(^{*}\)-semirings (Q1882911) (← links)
- Equational theories for automata (Q2074221) (← links)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- Inductive semimodules and the vector modules over them. (Q2391239) (← links)
- On the complexity of reasoning in Kleene algebra (Q2506487) (← links)
- Automata and languages generalized to \(\omega\)-continuous semirings (Q2640344) (← links)
- A Unifying Kleene Theorem for Weighted Finite Automata (Q3003472) (← links)
- The algebraic equivalent of AFL theory (Q4645165) (← links)
- On morphically generated formal power series (Q4763925) (← links)
- A Fully Equational Proof of Parikh's Theorem (Q4787831) (← links)
- The Parikh Property for Weighted Context-Free Grammars (Q5090971) (← links)
- An iteration property of Lindenmayerian power series (Q6183603) (← links)