Extended MSO model checking via small vertex integrity

DOI10.4230/LIPICS.ISAAC.2022.20MaRDI QIDQ6602437FDOQ6602437

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)