FO Model Checking of Interval Graphs

Robert Ganian, Petr Hlinen\' Y, Daniel Kr\' Al, Jan Obdrz\'alek, Jarett Schwartz, Jakub Teska
January 2016
PDF bib

Abstract

Full Citation:

Robert Ganian, Petr Hlinen' y, Daniel Kr' al, Jan Obdrz'alek, Jarett Schwartz, Jakub Teska. FO Model Checking of Interval Graphs. Logical Methods in Computer Science, volume 11, number 4, 2016.

Type
Journal Article
Xtract
Robert Ganian
Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.