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 5 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)
- 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)