Model Checking on Interpretations of Classes of Bounded Local Cliquewidth (bibtex)
by , , , , , ,
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"
}
Powered by bibtexbrowser