An extension of data automata that captures XPath
From MaRDI portal
Publication:2881071
DOI10.2168/LMCS-8(1:5)2012zbMath1241.68077arXiv1201.0597MaRDI QIDQ2881071
Sławomir Lasota, Mikołaj Bojańczyk
Publication date: 3 April 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1201.0597
Related Items
A Note on C² Interpreted over Finite Data-Words, On temporal logics with data variable quantifications: decidability and complexity, The factorisation forest theorem, Nondeterministic and co-nondeterministic implies deterministic, for data languages, An Automaton over Data Words That Captures EMSO Logic
Uses Software