Pages that link to "Item:Q5410335"

The following pages link to Extending two-variable logic on data trees with order on data values and its automata (Q5410335):

Displayed 6 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)
• (Q6191001) ‎ (← links)