Pages that link to "Item:Q2947150"
From MaRDI portal
The following pages link to Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150):
Displaying 7 items.
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties (Q1797777) (← links)
- Kleene and Büchi theorems for weighted forest languages over M-monoids (Q2051789) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids (Q2136289) (← links)
- A link between multioperator and tree valuation automata and logics (Q2355687) (← links)
- Weighted Operator Precedence Languages (Q5111245) (← links)
- (Q5871579) (← links)
