Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

Bonnet, Édouard; Dreier, Jan; Gajarský, Jakub; Kreutzer, Stephan; Mählmann, Nikolas; Simon, Pierre; Toruńczyk, Szymon

by Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Toruńczyk

Reference:

Model Checking on Interpretations of Classes of Bounded Local CliquewidthÉdouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon ToruńczykProceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), 2022, Association for Computing Machinery.

Bibtex Entry:

@INPROCEEDINGS{10.1145/3531130.3533367,
author = {Bonnet, \'{E}douard and Dreier, Jan and Gajarsk\'{y}, Jakub and Kreutzer, Stephan and M\"{a}hlmann, Nikolas and Simon, Pierre and Toru\'{n}czyk, Szymon},
title = {Model Checking on Interpretations of Classes of Bounded Local Cliquewidth},
year = {2022},
isbn = {9781450393515},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3531130.3533367},
booktitle = {Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ({LICS} 2022)},
articleno = {54},
numpages = {13}
}