Pages that link to "Item:Q2272217"
From MaRDI portal
The following pages link to A Kleene theorem for weighted tree automata over distributive multioperator monoids (Q2272217):
Displayed 12 items.
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
- Characterizations of recognizable weighted tree languages by logic and bimorphisms (Q1797776) (← links)
- Kleene and Büchi theorems for weighted forest languages over M-monoids (Q2051789) (← links)
- Weighted parsing for grammar-based language models over multioperator monoids (Q2051800) (← links)
- Principal abstract families of weighted tree languages (Q2064529) (← links)
- Characterization of tree automata based on quantum logic (Q2113952) (← links)
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids (Q2136289) (← links)
- A Kleene theorem for weighted tree automata over tree valuation monoids (Q2280327) (← links)
- A link between multioperator and tree valuation automata and logics (Q2355687) (← links)
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
- Effective optimization with weighted automata on decomposable trees (Q5413875) (← links)
- (Q5871579) (← links)