Sciweavers

1423 search results - page 6 / 285
» Languages of Nested Trees
Sort
View
MFCS
2009
Springer
15 years 3 months ago
FO Model Checking on Nested Pushdown Trees
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
Alexander Kartzow
TCS
2010
14 years 4 months ago
Factorization forests for infinite words and applications to countable scattered linear orderings
The theorem of factorization forests of Imre Simon shows the existence of nested factorizations -- `a la Ramsey -- for finite words. This theorem has important applications in sem...
Thomas Colcombet
VLDB
2004
ACM
125views Database» more  VLDB 2004»
15 years 2 months ago
From XML View Updates to Relational View Updates: old solutions to a new problem
This paper addresses the question of updating relational databases through XML views. Using query trees to capture the notions of selection, projection, nesting, grouping, and het...
Vanessa P. Braganholo, Susan B. Davidson, Carlos A...
LICS
2007
IEEE
15 years 3 months ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...