Pages that link to "Item:Q2881071"
From MaRDI portal
The following pages link to An extension of data automata that captures XPath (Q2881071):
Displayed 5 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← 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)
- A Note on C² Interpreted over Finite Data-Words (Q6060103) (← links)