The following pages link to (Q3113675):
Displaying 9 items.
- An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)
- On regular paths with counting and data tests (Q1744429) (← links)
- Complexity results on register context-free grammars and related formalisms (Q2672616) (← links)
- Hilbert-Style Axiomatization for Hybrid XPath with Data (Q2835860) (← links)
- An extension of data automata that captures XPath (Q2881071) (← links)
- Alternating register automata on finite words and trees (Q2881089) (← links)
- Logics of Repeating Values on Data Trees and Branching Counter Systems (Q2988368) (← links)
- (Q5155666) (← links)
- Extending two-variable logic on data trees with order on data values and its automata (Q5410335) (← links)