Pages that link to "Item:Q2978518"
From MaRDI portal
The following pages link to Extending temporal logics with data variable quantifications (Q2978518):
Displaying 4 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- An automata-theoretic approach to model-checking systems and specifications over infinite data domains (Q2331081) (← links)
- Temporal logics on words with multiple data values (Q2908879) (← links)
- LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems (Q5222965) (← links)