FO Model Checking of Interval Graphs

Ganian, Robert; Hlinený, Petr; Král', Daniel; Obdrzálek, Jan; Schwartz, Jarett; Teska, Jakub

by Robert Ganian, Petr Hlinený, Daniel Král', Jan Obdrzálek, Jarett Schwartz, Jakub Teska

Reference:

FO Model Checking of Interval GraphsRobert Ganian, Petr Hlinený, Daniel Král', Jan Obdrzálek, Jarett Schwartz, Jakub TeskaAutomata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II, volume 7966 of Lecture Notes in Computer Science, pages 250–262, 2013, Springer Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@inproceedings{GanianHKOST13,
  author    = {Robert Ganian and
               Petr Hlinen{\'{y}} and
               Daniel Kr{\'{a}}l' and
               Jan Obdrz{\'{a}}lek and
               Jarett Schwartz and
               Jakub Teska},
  title     = {{FO} Model Checking of Interval Graphs},
  booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
               {ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
  pages     = {250--262},
  year      = {2013},
  series    = {Lecture Notes in Computer Science},
  volume    = {7966},
  publisher = {Springer}
}