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):
Displayed 4 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)
- (Q5111245) (← links)