Pages that link to "Item:Q2915544"
From MaRDI portal
The following pages link to The Support of a Recognizable Series over a Zero-sum Free, Commutative Semiring is Recognizable (Q2915544):
Displaying 11 items.
- Weighted restarting automata (Q1797778) (← links)
- Weighted automata (Q2074206) (← links)
- Weighted tree automata with constraints (Q2164002) (← links)
- Weighted automata with storage (Q2280328) (← links)
- Weighted Symbolic Automata with Data Storage (Q2817389) (← links)
- Compositions with Constant Weighted Extended Tree Transducers (Q6072400) (← links)
- Weighted two-way transducers (Q6145527) (← links)
- Weighted tree automata with constraints (Q6151146) (← links)
- Compositions of Weighted Extended Tree Transducers — The Unambiguous Case (Q6154977) (← links)
- Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings (Q6204133) (← links)
- Solving the Weighted HOM-Problem With the Help of Unambiguity (Q6204136) (← links)
