First-Order Model Checking on Monadically Stable Graph Classes

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

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

Journal title: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS)

Journal publisher: IEEE

Published year: 2024

Published pages: 21-30

DOI identifier: 10.1109/focs61266.2024.00012