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 50 items.
- Approximate comparison of functions computed by distance automata (Q290904) (← links)
- Rigorous approximated determinization of weighted automata (Q385026) (← links)
- Free iterative and iteration \(K\)-semialgebras (Q412016) (← links)
- A coalgebraic perspective on linear weighted automata (Q418134) (← links)
- Representations and complete semiring morphisms (Q672829) (← links)
- Synthesis from component libraries with costs (Q683714) (← links)
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton (Q703577) (← links)
- Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring (Q764364) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Closure properties and complexity of rational sets of regular languages (Q888431) (← links)
- Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
- Finite-valued distance automata (Q1341750) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Some properties of recognizable \(\mathcal Z\)-subsets (Q1870588) (← links)
- Equational theories of tropical semirings (Q1874279) (← links)
- On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra (Q1914078) (← links)
- Non-deterministic weighted automata evaluated over Markov chains (Q2009651) (← links)
- Finite sequentiality of unambiguous max-plus tree automata (Q2048206) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- Weighted automata (Q2074206) (← links)
- Max-plus automata (Q2074207) (← links)
- Learning weighted automata over principal ideal domains (Q2200852) (← links)
- Freeness properties of weighted and probabilistic automata over bounded languages (Q2280319) (← links)
- Streamable regular transductions (Q2286735) (← links)
- New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems (Q2348373) (← links)
- Weighted automata and weighted logics (Q2373736) (← links)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- Isomorphisms of scattered automatic linear orders (Q2446106) (← links)
- On Finite and Polynomial Ambiguity of Weighted Tree Automata (Q2817402) (← links)
- Models for quantitative distributed systems and multi-valued logics (Q2855751) (← links)
- Coinduction in Concurrent Timed Systems (Q2919457) (← links)
- Stochastization of Weighted Automata (Q2946327) (← links)
- Parameterized Weighted Containment (Q2946752) (← links)
- Up-To Techniques for Weighted Systems (Q3303913) (← links)
- Series which are both max-plus and min-plus rational are unambiguous (Q3374753) (← links)
- Weight Assignment Logic (Q3451120) (← links)
- Weighted Automata and Weighted Logics with Discounting (Q3503896) (← links)
- A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata (Q3526417) (← links)
- How to Tackle Integer Weighted Automata Positivity (Q3646253) (← links)
- The product of rational languages (Q4630281) (← links)
- The closure under division and a characterization of the recognizable $\mathcal {Z}$-subsets (Q4717041) (← links)
- DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA (Q4786328) (← links)
- (Q5009422) (← links)
- (Q5028476) (← links)
- (Q5111268) (← links)
- Distance desert automata and the star height problem (Q5313718) (← links)
- (Q5389748) (← links)
- REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS (Q5483458) (← links)
- Unambiguity in Automata Theory (Q5500675) (← links)
- On High-Quality Synthesis (Q5740173) (← links)