The following pages link to (Q4899894):
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)
- Kleene and Büchi theorems for weighted forest languages over M-monoids (Q2051789) (← links)
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids (Q2136289) (← links)
- Sequentiality of group-weighted tree automata (Q2232288) (← links)
- Crisp-determinization of weighted tree automata over strong bimonoids (Q5038197) (← links)
- (Q5871579) (← links)
- A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices (Q6154974) (← links)