Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures.

Michal Pilipczuk, Nicole Schirrmacher, Sebastian Siebertz, Szymon Torunczyk, Alexandre Vigny

Browse the full ICALP paper archive.