Pages that link to "Item:Q5716792"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716792):
Displaying 18 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)
- Quantitative simulations by matrices (Q729815) (← 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)
- Lexicographic decomposition of \(k\)-valued transducers (Q1959399) (← links)
- Determinisability of unary weighted automata over the rational numbers (Q2055977) (← links)
- Equational theories for automata (Q2074221) (← links)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- Bisimulations for weighted automata over an additively idempotent semiring (Q2447758) (← links)
- Sequential? (Q2490822) (← links)
- Simulations of Weighted Tree Automata (Q3073652) (← links)
- Rational and Recognisable Power Series (Q5072546) (← links)
- Multi-Linear Iterative K-Σ-Semialgebras (Q5739356) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
- Bideterministic weighted automata (Q6108730) (← links)
- Bideterministic weighted automata (Q6186321) (← links)