303 search results - page 9 / 61 » Automata on Gauss Words |
109
Voted
MFCS
2009
Springer
15 years 7 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
15 years 4 months 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
14 years 10 months ago
2009
Cern
75
Voted
CAI
2009
Springer
15 years 7 months ago
2009
Springer
FCT
2009
Springer
15 years 7 months ago
2009
Springer
