Pages that link to "Item:Q5053726"
From MaRDI portal
The following pages link to A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS (Q5053726):
Displayed 10 items.
- Free inductive \(K\)-semialgebras (Q383784) (← links)
- Bisimulations for fuzzy automata (Q423147) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Inductive \(^{*}\)-semirings (Q1882911) (← links)
- Equational theories for automata (Q2074221) (← links)
- Bisimulations for weighted automata over an additively idempotent semiring (Q2447758) (← links)
- Iteration Semirings (Q3532996) (← links)
- Multi-Linear Iterative K-Σ-Semialgebras (Q5739356) (← links)