Pages that link to "Item:Q2818761"
From MaRDI portal
The following pages link to Reasoning about data repetitions with counter systems (Q2818761):
Displaying 6 items.
- Temporal Logics of Repeating Values (Q3165752) (← links)
- Playing with Repetitions in Data Words Using Energy Games (Q3300789) (← links)
- (Q5089315) (← links)
- A Note on C² Interpreted over Finite Data-Words (Q6060103) (← links)
- Realizability problem for constraint LTL (Q6178458) (← links)
- Reasoning about reversal-bounded counter machines (Q6599624) (← links)