Algorithms and data structures for first-order logic with connectivity under vertex failures

DOI10.4230/LIPICS.ICALP.2022.102MaRDI QIDQ6560901zbMATH OpenFDO

Authors Michał Pilipczuk, Sebastian Siebertz, Szymon Toruńczyk, Alexandre Vigny

Publication date 24 June 2024

zbMATH Keywords

data structuresgraph algorithmscombinatorics and graph theoryfixed-parameter algorithms and complexitycomputational applications of logic

Mathematics Subject Classification ID

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

Cited in

(1)

• Elimination distance to bounded degree on planar graphs preprint

This page was built for publication: Algorithms and data structures for first-order logic with connectivity under vertex failures

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