Pages that link to "Item:Q2355687"
From MaRDI portal
The following pages link to A link between multioperator and tree valuation automata and logics (Q2355687):
Displaying 4 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)
- A Kleene theorem for weighted tree automata over tree valuation monoids (Q2280327) (← links)