Introduces H-clique-width as a hereditary generalization of clique-width via induced subgraphs in strong products and reformulates planar product theorems under induced containment.
Deciding first-order properties of locally tree-decomposable structures
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Model checking for low-monodimensionality fragments of CMSO with disjoint-paths predicate is FPT on topological-minor-free graph classes.
citing papers explorer
-
Hereditary Graph Product Structure and $\cal H$-clique-width
Introduces H-clique-width as a hereditary generalization of clique-width via induced subgraphs in strong products and reformulates planar product theorems under induced containment.
-
Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes
Model checking for low-monodimensionality fragments of CMSO with disjoint-paths predicate is FPT on topological-minor-free graph classes.