Compound logics for modification problems

From MaRDI portal

Publication:6638063

Jump to:navigation, search

DOI10.4230/LIPICS.ICALP.2023.61MaRDI QIDQ6638063

Fedor V. Fomin, Ignasi Sau, Giannos Stamoulis, Petr A. Golovach, Dimitrios M. Thilikos

Publication date: 14 November 2024

zbMATH Keywords

first-order logic monadic second-order logic model-checking algorithmic meta-theorems graph minors graph modification problems irrelevant vertex technique flat wall theorem

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (1)

Faster parameterized algorithms for modification problems to minor-closed classes

This page was built for publication: Compound logics for modification problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6638063)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6638063&oldid=40204582"