Pages that link to "Item:Q2890205"
From MaRDI portal
The following pages link to Feasible Automata for Two-Variable Logic with Successor on Data Words (Q2890205):
Displaying 4 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- Weak and Nested Class Memory Automata (Q2799172) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Extending two-variable logic on data trees with order on data values and its automata (Q5410335) (← links)