Login / Signup
First-Order Definability of Trees and Sparse Random Graphs.
Tom Bohman
Alan M. Frieze
Tomasz Luczak
Oleg Pikhurko
Clifford D. Smyth
Joel Spencer
Oleg Verbitsky
Published in:
Comb. Probab. Comput. (2007)
Keyphrases
</>
random graphs
graph theoretic
finite model theory
attributed graphs
first order logic
phase transition
learning curves
propositional logic
fixed point
decision trees
small world
power law
tree structure
spanning tree
undirected graph
complex networks
gray scale
optimization problems
image segmentation