Publication:3576654
From MaRDI portal
zbMath1192.05169arXivmath/0405326MaRDI QIDQ3576654
Oleg Pikhurko, Oleg Verbitsky, J. H. Spencer
Publication date: 30 July 2010
Full work available at URL: https://arxiv.org/abs/math/0405326
graph decompositions; first order logic; descriptive complexity of graphs; Ehrenfeucht game on graphs
05C70: Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.)
05C99: Graph theory
03C13: Model theory of finite structures
68Q19: Descriptive complexity and finite models