Extended MSO model checking via small vertex integrity

DOI10.4230/lipics.isaac.2022.20MaRDI QIDQ6602437

Tatsuya Gima, Yota Otachi

Publication date: 11 September 2024

zbMATH Keywords

monadic second-order logicfixed-parameter tractabilitycardinality constraintvertex integrity

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx)

Related Items (1)

Structural parameterizations of vertex integrity (best paper)

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