FO Model Checking on Posets of Bounded Width (bibtex)
by J. Gajarský, P. Hliněný, D. Lokshtanov, J. Obdržálek, S. Ordyniak, M. S. Ramanujan, S. Saurabh
Reference:
FO Model Checking on Posets of Bounded Width (J. Gajarský, P. Hliněný, D. Lokshtanov, J. Obdržálek, S. Ordyniak, M. S. Ramanujan, S. Saurabh), In FOCS'15, IEEE Computer Society, 2015.
Bibtex Entry:
@INPROCEEDINGS{focs15,
  AUTHOR = {Gajarsk\'{y}, J. and Hliněn\'{y}, P. and Lokshtanov, D. and Obdrž\'{a}lek, J. and Ordyniak, S. and Ramanujan, M. S. and Saurabh, S.},
  PUBLISHER = {{IEEE} Computer Society},
  BOOKTITLE = {FOCS'15},
  YEAR = {2015},
  DOI = {10.1109/FOCS.2015.63},
  PAGES = {963--974},
  TITLE = {{FO} Model Checking on Posets of Bounded Width},
}
Powered by bibtexbrowser