Monadic Second Order Finite Satisfiability and Unbounded Tree-Width (bibtex)
by Tomer Kotek, Helmut Veith, Florian Zuleger
Reference:
Monadic Second Order Finite Satisfiability and Unbounded Tree-WidthTomer Kotek, Helmut Veith, Florian Zuleger25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pages 13:1-13:20, 2016.
Bibtex Entry:
@inproceedings{conf/csl/KotekVZ16,
  author    = {Tomer Kotek and
               Helmut Veith and
               Florian Zuleger},
  title     = {Monadic Second Order Finite Satisfiability and Unbounded Tree-Width},
  booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
               August 29 - September 1, 2016, Marseille, France},
  pages     = {13:1--13:20},
  year      = {2016},
  doi       = {10.4230/LIPIcs.CSL.2016.13}
}
Powered by bibtexbrowser