by Jan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty, Michał Pilipczuk, Szymon Toruńczyk
Reference:
First-Order Model Checking on Monadically Stable Graph ClassesJan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty, Michał Pilipczuk, Szymon Toruńczyk2024, arXiv.Note: to be presented at FOCS 2024
Bibtex Entry:
@misc{dreier2023firstorder,
title={First-Order Model Checking on Monadically Stable Graph Classes},
author={Jan Dreier and Ioannis Eleftheriadis and Nikolas Mählmann and Rose McCarty and Michał Pilipczuk and Szymon Toruńczyk},
year={2024},
eprint={2311.18740},
archivePrefix={arXiv},
publisher = {arXiv},
primaryClass={cs.LO},
url={https://arxiv.org/pdf/2311.18740.pdf},
note="to be presented at FOCS 2024"
}