Graph minors. V. Excluding a planar graph
Journal of Combinatorial Theory Series B
A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
SIAM Journal on Computing
Upper bounds to the clique width of graphs
Discrete Applied Mathematics
Deciding first-order properties of locally tree-decomposable structures
Journal of the ACM (JACM)
Compact and localized distributed data structures
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Linear time low tree-width partitions and algorithmic consequences
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing
LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
First-order queries on structures of bounded degree are computable with constant delay
ACM Transactions on Computational Logic (TOCL)
Query efficient implementation of graphs of bounded clique-width
Discrete Applied Mathematics
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Finding branch-decompositions and rank-decompositions
ESA'07 Proceedings of the 15th annual European conference on Algorithms
Hi-index | 0.00 |
We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, which contains in particular, the nicely locally tree-decomposable classes. For every class of graphs of bounded expansionwe prove that every bounded formulahas an O(log(n))-labeling scheme. We also prove that every quantifier-free formula has an O(log(n))-labeling scheme in graphs of bounded arboricity. Some of these results are extended to counting queries.