On Testability of First-Order Properties in Bounded-Degree Graphs

von Adler, Isolde
Veröffentlicht in ACM-SIAM Symposium on Discrete Algorithms (32. : 2021 : Online) Thirty-second Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2021) ; Volume 3 of 4 (2021)

Graph-theoretic concepts in computer science : 46th international workshop, WG 2020, Leeds, UK, June 24-26, 2020 : revised selected papers

Veröffentlicht 2020