Extended MSO model checking via small vertex integrity

DOI10.4230/LIPICS.ISAAC.2022.20MaRDI QIDQ6602437zbMATH OpenFDO

Authors Tatsuya Gima, Yota Otachi

Publication date 11 September 2024

zbMATH Keywords

fixed-parameter tractabilitymonadic second-order logiccardinality constraintvertex integrity

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx)

Cited in

(1)

• Structural parameterizations of vertex integrity (best paper)

This page was built for publication: Extended MSO model checking via small vertex integrity

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