FO Model Checking of Interval Graphs

Robert Ganian, Petr Hlinen ́Y, Daniel Kr\ál, Jan Obdrz\'ék, Jarett Schwartz, Jakub Teska
January 2016
PDF Cite
Type
Journal Article
Xtract
Robert Ganian
Robert Ganian

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