Pages that link to "Item:Q2389332"
From MaRDI portal
The following pages link to Axiomatizing rational power series over natural numbers (Q2389332):
Displayed 13 items.
- A connection between concurrency and language theory (Q265802) (← links)
- Free inductive \(K\)-semialgebras (Q383784) (← links)
- Free iterative and iteration \(K\)-semialgebras (Q412016) (← links)
- Convergence of Newton's method over commutative semirings (Q899320) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Equational theories for automata (Q2074221) (← links)
- Conway and iteration hemirings Part 1 (Q2876612) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Dagger extension theorem (Q3094166) (← links)
- Partial Conway and Iteration Semiring-Semimodule Pairs (Q3098033) (← links)
- Kleene Theorem in Partial Conway Theories with Applications (Q3098034) (← links)
- Iteration Semirings (Q3532996) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)