Pages that link to "Item:Q1797776"
From MaRDI portal
The following pages link to Characterizations of recognizable weighted tree languages by logic and bimorphisms (Q1797776):
Displaying 9 items.
- Kleene and Büchi theorems for weighted forest languages over M-monoids (Q2051789) (← links)
- Rational weighted tree languages with storage and the Kleene-Goldstine theorem (Q2175416) (← links)
- Weighted automata with storage (Q2280328) (← links)
- Characterizing weighted MSO for trees by branching transitive closure logics (Q2355685) (← links)
- A link between multioperator and tree valuation automata and logics (Q2355687) (← links)
- Local weighted tree languages (Q2803054) (← links)
- The supports of weighted unranked tree automata (Q2805397) (← links)
- Weighted Languages Recognizable by Weighted Tree Automata (Q4584658) (← links)
- Machine characterization of terminal weighted eol languages (Q4844590) (← links)