Pages that link to "Item:Q3634180"
From MaRDI portal
The following pages link to DECOMPOSITION OF WEIGHTED MULTIOPERATOR TREE AUTOMATA (Q3634180):
Displayed 8 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)
- Approximated determinisation of weighted tree automata (Q2232287) (← links)
- A link between multioperator and tree valuation automata and logics (Q2355687) (← links)
- Weighted logics for unranked tree automata (Q2429720) (← links)
- Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids (Q3098035) (← links)
- Weight Assignment Logic (Q3451120) (← links)
- A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices (Q6154974) (← links)