A Logic for Minor-Free Graph Classes: Model Checking, Dependence, and Combinatorial Reconfiguration PXKFYDPDFY

URI	`m2://res/PXKFYDPDFY`
Kind	preprint
Creators	Nikolas Mählmann, Patrice {Ossona de Mendez}, Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, {Dimitrios M. } Thilikos, Alexandre Vigny
Date	2026-10-04
MSC	05-XX
Subjects	arxiv cs.LO, arxiv cs.DM, arxiv math.LO
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
RAK9W0ZSWB	statement	lemma 1	arxiv