Fingerprint
Dive into the research topics of 'Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
Petr A. Golovach, Giannos Stamoulis, Dimitrios M. Thilikos
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution