First-Order Model Checking on Monadically Stable Graph Classes

From MaRDI portal

First-Order Model Checking on Monadically Stable Graph Classes (scientific article from arXiv)

Jump to:navigation, search

MaRDI QIDQ7163790arXivFDO

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

Publication date 2023

Published in arXiv

arXiv classification

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 Q7163790)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=First-Order_Model_Checking_on_Monadically_Stable_Graph_Classes_(scientific_article_from_arXiv)&oldid=107243294"