FOCS 2024 1A First-Order Model Checking on Monadically Stable Graph Classes



DOWNLOAD





Bagikan