Faster Existential FO Model Checking on Posets (bibtex)
by J. Gajarský, P. Hliněný, J. Obdržálek, S. Ordyniak
Reference:
Faster Existential FO Model Checking on Posets (J. Gajarský, P. Hliněný, J. Obdržálek, S. Ordyniak), In Log. Methods Comput. Sci., volume 11, 2015.
Bibtex Entry:
@ARTICLE{lmcs15:posets,
  AUTHOR = {Gajarsk\'{y}, J. and Hliněn\'{y}, P. and Obdrž\'{a}lek, J. and Ordyniak, S.},
  YEAR = {2015},
  DOI = {10.2168/LMCS-11(4:8)2015},
  JOURNAL = {Log. Methods Comput. Sci.},
  NUMBER = {4},
  TITLE = {Faster Existential {FO} Model Checking on Posets},
  VOLUME = {11},
}
Powered by bibtexbrowser