Pages that link to "Item:Q2908879"
From MaRDI portal
The following pages link to Temporal logics on words with multiple data values (Q2908879):
Displaying 11 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- Walking on data words (Q504989) (← links)
- Temporal multi-valued logic with lost worlds in the past (Q1669762) (← links)
- Weak and Nested Class Memory Automata (Q2799172) (← links)
- On Freeze LTL with Ordered Attributes (Q2811345) (← links)
- Reasoning about data repetitions with counter systems (Q2818761) (← links)
- Expressiveness of hybrid temporal logic on data words (Q2825412) (← links)
- Logics of Repeating Values on Data Trees and Branching Counter Systems (Q2988368) (← links)
- An Automaton over Data Words That Captures EMSO Logic (Q3090829) (← links)
- Playing with Repetitions in Data Words Using Energy Games (Q3300789) (← links)
- On the satisfiability of local first-order logics with data (Q6597951) (← links)