Pages that link to "Item:Q3587470"
From MaRDI portal
The following pages link to Pebble Weighted Automata and Transitive Closure Logics (Q3587470):
Displayed 8 items.
- Weighted restarting automata (Q1797778) (← links)
- Characterizing weighted MSO for trees by branching transitive closure logics (Q2355685) (← links)
- Adding pebbles to weighted automata: easy specification \& efficient evaluation (Q2447753) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- (Q5092440) (← links)
- Bidirectional nested weighted automata (Q5111617) (← links)
- Pebble Weighted Automata and Weighted Logics (Q5169971) (← links)