Pages that link to "Item:Q4316608"
From MaRDI portal
The following pages link to THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE (Q4316608):
Displayed 6 items.
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
- Minimizing Deterministic Lattice Automata (Q5892175) (← links)
- Decidable weighted expressions with Presburger combinators (Q5915759) (← links)
- Ambiguity Hierarchies for Weighted Tree Automata (Q6070750) (← links)
- Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata (Q6072403) (← links)
- Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata (Q6154973) (← links)