BibTeX record conf/focs/GajarskyHLOORS15

• > Home > conf/focs/GajarskyHLOORS15

@inproceedings{DBLP:conf/focs/GajarskyHLOORS15,
  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},
  editor       = {Venkatesan Guruswami},
  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},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/FOCS.2015.63},
  doi          = {10.1109/FOCS.2015.63},
  timestamp    = {Thu, 23 Mar 2023 23:57:54 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/GajarskyHLOORS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}