2 search results - page 1 / 1 » Regular Languages of Nested Words: Fixed Points, Automata, a... |
ICALP
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
MFCS
2009
Springer
14 years 9 days 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�...