FO Model Checking on Posets of Bounded Width

Gajarský, Jakub; Hlinený, Petr; Lokshtanov, Daniel; Obdrzálek, Jan; Ordyniak, Sebastian; Ramanujan, M. S.; Saurabh, Saket

doi:10.1109/FOCS.2015.63

by Jakub Gajarský, Petr Hlinený, Daniel Lokshtanov, Jan Obdrzálek, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh

Reference:

FO Model Checking on Posets of Bounded WidthJakub Gajarský, Petr Hlinený, Daniel Lokshtanov, Jan Obdrzálek, Sebastian Ordyniak, M. S. Ramanujan, Saket SaurabhIEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015, pages 963–974, 2015.

Bibtex Entry:

@inproceedings{GajarskyHlinenyLokshtanovObdrzalekOrdyniakRamanujanSaurabh15,
  author    = {Jakub Gajarsk{\'{y}} and
               Petr Hlinen{\'{y}} and
               Daniel Lokshtanov and
               Jan Obdrz{\'{a}}lek and
               Sebastian Ordyniak and
               M. S. Ramanujan and
               Saket Saurabh},
  title     = {{FO} Model Checking on Posets of Bounded Width},
  booktitle = {{IEEE} 56th Annual Symposium on Foundations of Computer Science, {FOCS}
               2015, Berkeley, CA, USA, 17-20 October, 2015},
  pages     = {963--974},
  year      = {2015},
  url       = {10.1109/FOCS.2015.63">http://dx.doi.org/10.1109/FOCS.2015.63},
  doi       = {10.1109/FOCS.2015.63},
  timestamp = {Mon, 04 Jan 2016 13:44:40 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/focs/GajarskyHLOORS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}