Sciweavers

822 search results - page 4 / 165
» Descendants in Increasing Trees
Sort
View
CORR
2010
Springer
125views Education» more  CORR 2010»
13 years 5 months ago
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
Mikolaj Bojanczyk, Luc Segoufin
EJC
2008
13 years 5 months ago
On Postnikov's hook length formula for binary trees
We present a combinatorial proof of Postnikov's hook length formula for binary trees. c 2007 Elsevier Ltd. All rights reserved. Let [n] = {1, 2, . . . , n}. It is well known ...
William Y. C. Chen, Laura L. M. Yang

Publication
198views
12 years 2 months ago
A Blink Tree latch method and protocol to support synchronous node deletion
A new Blink Tree latching method and protocol simplifies implementation of Lehman and Yao's high concurrency Blink Tree with Jaluta's balanced Blink Tree methods with in...
Karl Malbrain
JCT
2011
57views more  JCT 2011»
13 years 18 days ago
Generalized Stirling permutations, families of increasing trees and urn models
Bona [6] studied the distribution of ascents, plateaux and descents in the class of Stirling permutations, introduced by Gessel and Stanley [14]. Recently, Janson [18] showed the c...
Svante Janson, Markus Kuba, Alois Panholzer
LICS
2002
IEEE
13 years 10 months ago
Monadic Queries over Tree-Structured Data
Monadic query languages over trees currently receive considerable interest in the database community, as the problem of selecting nodes from a tree is the most basic and widesprea...
Georg Gottlob, Christoph Koch