First-Order Model Checking on Monadically Stable Graph Classes

Dreier, Jan; Eleftheriadis, Ioannis; Mählmann, Nikolas; McCarty, Rose; Pilipczuk, Michał; Toruńczyk, Szymon

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.

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}
}