Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

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

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

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 TorunczykCoRR, volume abs/2202.13014, 2022.Note: to be presented at LICS 2022

Bibtex Entry:

@article{DBLP:journals/corr/abs-2202-13014,
  author    = {{\'{E}}douard Bonnet and
               Jan Dreier and
               Jakub Gajarsk{\'{y}} and
               Stephan Kreutzer and
               Nikolas M{\"{a}}hlmann and
               Pierre Simon and
               Szymon Torunczyk},
  title     = {Model Checking on Interpretations of Classes of Bounded Local Cliquewidth},
  journal   = {CoRR},
  volume    = {abs/2202.13014},
  year      = {2022},
  url       = {https://arxiv.org/abs/2202.13014},
  eprinttype = {arXiv},
  eprint    = {2202.13014},
  timestamp = {Wed, 02 Mar 2022 16:35:04 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2202-13014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  note      = "to be presented at LICS 2022"
}