Pages that link to "Item:Q2429720"
From MaRDI portal
The following pages link to Weighted logics for unranked tree automata (Q2429720):
Displayed 8 items.
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Characterizing weighted MSO for trees by branching transitive closure logics (Q2355685) (← links)
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
- Pebble Weighted Automata and Weighted Logics (Q5169971) (← links)
- Effective optimization with weighted automata on decomposable trees (Q5413875) (← links)