Pages that link to "Item:Q2881071"
From MaRDI portal
The following pages link to An extension of data automata that captures XPath (Q2881071):
Displaying 9 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- On notions of regularity for data languages (Q846359) (← links)
- On regular paths with counting and data tests (Q1744429) (← links)
- The factorisation forest theorem (Q2074219) (← links)
- Nondeterministic and co-nondeterministic implies deterministic, for data languages (Q2233422) (← links)
- An Automaton over Data Words That Captures EMSO Logic (Q3090829) (← links)
- (Q5155666) (← links)
- A Note on C² Interpreted over Finite Data-Words (Q6060103) (← links)
- First order Büchi automata and their application to verification of LTL specifications (Q6643476) (← links)