First-order model checking on structurally sparse graph classes. (English) Zbl 07844613
Saha, Barna (ed.) et al., Proceedings of the 55th annual ACM SIGACT symposium on theory of computing, STOC ’23, Orlando, FL, USA, June 20–23, 2023. New York, NY: Association for Computing Machinery (ACM). 567-580 (2023).
MSC:
68Qxx