TY  - RPRT
TI  - A Logic for Minor-Free Graph Classes: Model Checking, Dependence, and Combinatorial Reconfiguration
AU  - Nikolas Mählmann
AU  - Patrice {Ossona de Mendez}
AU  - Nicole Schirrmacher
AU  - Sebastian Siebertz
AU  - Giannos Stamoulis
AU  - {Dimitrios M. } Thilikos
AU  - Alexandre Vigny
PY  - 2026
UR  - https://arxiv.org/abs/2610.05263
ID  - 2610.05263
ER  -