共 44 条
- [21] Deciding first-order properties of locally tree-decomposable structures [J]. JOURNAL OF THE ACM, 2001, 48 (06) : 1184 - 1206
- [22] A New Perspective on FO Model Checking of Dense Graph Classes [J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 176 - 184
- [23] Gajarsky J., 2018, 43 INT S MATH FDN CO
- [24] Gajarsky J, 2018, Arxiv, DOI arXiv:1805.01823
- [25] FO Model Checking on Posets of Bounded Width [J]. 2015 IEEE 56TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, 2015, : 963 - 974
- [26] Gajarsky Jakub, 2018, 45 INT C AUT LANG PR
- [30] FO model checking on geometric graphs [J]. COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 2019, 78 : 1 - 19