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 TeskaLogical Methods in Computer Science, volume 11, number 4, 2016.

Bibtex Entry:

@article{GanianHlinenyKral16,
    author = {Robert Ganian and Petr Hlinen\' y and Daniel Kr\' al and Jan Obdrz\'alek and Jarett Schwartz and Jakub Teska},
     title = {FO Model Checking of Interval Graphs},
   journal = {Logical Methods in Computer Science},
      year = {2016},
      volume = {11},
      number = {4},
      url = {http://www.lmcs-online.org/ojs/viewarticle.php?id=1822&layout=abstract},
      keywords = {xtract}
}