Pages that link to "Item:Q3190138"
From MaRDI portal
The following pages link to Ordered Navigation on Multi-attributed Data Words (Q3190138):
Displaying 7 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- Leafy automata for higher-order concurrency (Q2233404) (← links)
- Weak and Nested Class Memory Automata (Q2799172) (← links)
- On Freeze LTL with Ordered Attributes (Q2811345) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- (Q5089315) (← links)
- Abstraction refinement and antichains for trace inclusion of infinite state systems (Q5919079) (← links)
