Pages that link to "Item:Q3300789"
From MaRDI portal
The following pages link to Playing with Repetitions in Data Words Using Energy Games (Q3300789):
Displaying 6 items.
- Playing with Repetitions in Data Words Using Energy Games (Q3300789) (← links)
- (Q5145315) (redirect page) (← links)
- Synthesis of Data Word Transducers (Q5875385) (← links)
- Church synthesis on register automata over linearly ordered data domains (Q6151760) (← links)
- Realizability problem for constraint LTL (Q6178458) (← links)
- Round- and context-bounded control of dynamic pushdown systems (Q6564172) (← links)
