First-Order Model Checking on Monadically Stable Graph Classes

MaRDI QIDQ6461554zbMATH OpenFDO

Authors Jan Dreier, Ioannis Eleftheriadis, Rose McCarty, Michał Pilipczuk, Szymon Toruńczyk

Publication date 30 November 2023

This page was built for publication: First-Order Model Checking on Monadically Stable Graph Classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6461554)