303 search results - page 9 / 61 » Automata on Gauss Words |
MFCS
2009
Springer
14 years 3 months ago
2009
Springer
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deļ...
RTA
2010
Springer
14 years 9 days ago
2010
Springer
Data words and data trees appear in veriļ¬cation and XML processing. The term ādataā means that positions of the word, or tree, are decorated with elements of an inļ¬nite set...
DLT
2009
13 years 6 months ago
2009
Cern
CAI
2009
Springer
14 years 3 months ago
2009
Springer
FCT
2009
Springer
14 years 3 months ago
2009
Springer
