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):

Displaying 2 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)