Faster Existential FO Model Checking on Posets

Gajarský, Jakub; Hlinený, Petr; Obdrzálek, Jan; Ordyniak, Sebastian

by Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak

Reference:

Faster Existential FO Model Checking on PosetsJakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian OrdyniakAlgorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings (Hee-Kap Ahn, Chan-Su Shin, eds.), volume 8889 of Lecture Notes in Computer Science, pages 441–451, 2014, Springer Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@inproceedings{GajarskyHlinenyObdrzalekOrdyniak14,
  author    = {Jakub Gajarsk{\'{y}} and
               Petr Hlinen{\'{y}} and
               Jan Obdrz{\'{a}}lek and
               Sebastian Ordyniak},
  title     = {Faster Existential {FO} Model Checking on Posets},
  booktitle = {Algorithms and Computation - 25th International Symposium, {ISAAC}
               2014, Jeonju, Korea, December 15-17, 2014, Proceedings},
  pages     = {441--451},
  year      = {2014},
  editor    = {Hee{-}Kap Ahn and
               Chan{-}Su Shin},
  series    = {Lecture Notes in Computer Science},
  volume    = {8889},
  publisher = {Springer},
}