Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

Bonnet, \'{E}douard, Jan Niclas Dreier, Gajarsk\'{y}, Jakub, Kreutzer, Stephan, Mählmann, Nikolas, Simon, Pierre, Toru\'{n}czyk, Szymon
January 2022
PDF bib

Abstract

Full Citation:

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

Type
Conference Paper
Jan Niclas Dreier
Jan Niclas Dreier

Jan Niclas Dreier is a Postdoctoral Researcher at the Algorithms and Complexity Group.