Pages that link to "Item:Q5169971"
From MaRDI portal
The following pages link to Pebble Weighted Automata and Weighted Logics (Q5169971):
Displaying 7 items.
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Two-way pebble transducers for partial functions and their composition (Q748432) (← links)
- Faster algorithms for quantitative verification in bounded treewidth graphs (Q2058390) (← links)
- Weighted automata (Q2074206) (← links)
- Adding pebbles to weighted automata: easy specification \& efficient evaluation (Q2447753) (← links)
- (Q4799366) (← links)
- (Q5092440) (← links)