The following pages link to Stefan Dück (Q515683):
Displayed 5 items.
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- Weighted Automata and Logics on Graphs (Q2946335) (← links)
- Weighted Operator Precedence Languages (Q5111245) (← links)