Pages that link to "Item:Q3525617"
From MaRDI portal
The following pages link to Shuffle Expressions and Words with Nested Data (Q3525617):
Displaying 7 items.
- Model checking memoryful linear-time logics over one-counter automata (Q974117) (← 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)
- Algorithmic Analysis of Array-Accessing Programs (Q3644742) (← links)
- A Note on C² Interpreted over Finite Data-Words (Q6060103) (← links)
- On the satisfiability of local first-order logics with data (Q6597951) (← links)
