Shrub-depth: Capturing Height of Dense Graphs

zbMath1515.03150arXiv1707.00359MaRDI QIDQ6288558

Robert Ganian, Patrice Ossona de Mendez, Jaroslav Nešetřil, Petr Hliněný, Jan Obdržálek

Publication date: 2 July 2017

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Structural characterization of families of graphs (05C75) Model theory of finite structures (03C13) Higher-order logic (03B16)

This page was built for publication: Shrub-depth: Capturing Height of Dense Graphs