I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

First-Order Model Checking on Structurally Sparse Graph Cla..:

, In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing,
Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian - p. 567-580 , 2023
Link: https://dl.acm.org/doi/10.1145/3564246.3585186