Lower bounds on the complexity of MSO1 model-checking

Ganian, Robert; Hlinený, Petr; Langer, Alexander; Obdrzálek, Jan; Rossmanith, Peter; Sikdar, Somnath

by Robert Ganian, Petr Hlinený, Alexander Langer, Jan Obdrzálek, Peter Rossmanith, Somnath Sikdar

Reference:

Lower bounds on the complexity of MSO1 model-checkingRobert Ganian, Petr Hlinený, Alexander Langer, Jan Obdrzálek, Peter Rossmanith, Somnath SikdarJ. Comput. Syst. Sci., volume 80, number 1, pages 180–194, 2014.

Bibtex Entry:

@article{GanianHLORS14,
  author    = {Robert Ganian and
               Petr Hlinen{\'{y}} and
               Alexander Langer and
               Jan Obdrz{\'{a}}lek and
               Peter Rossmanith and
               Somnath Sikdar},
  title     = {Lower bounds on the complexity of MSO1 model-checking},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {80},
  number    = {1},
  pages     = {180--194},
  year      = {2014}
}