Pages that link to "Item:Q5410335"
From MaRDI portal
The following pages link to Extending two-variable logic on data trees with order on data values and its automata (Q5410335):
Displaying 5 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- Complexity of Two-Variable Logic on Finite Trees (Q5278193) (← links)
- $$\mathbb {N}$$ -Memory Automata over the Alphabet $$\mathbb {N}$$ (Q5738989) (← links)
