Jarett Schwartz

Recent Publications

FO Model Checking of Interval Graphs
Robert Ganian, Petr Hlinen\' Y, Daniel Kr\' Al, Jan Obdrz\'alek, Jarett Schwartz, Jakub Teska
Logical Methods in Computer Science, volume 11, number 4, 2016.
PDF bib
FO Model Checking of Interval Graphs
Robert Ganian, Petr Hlinen{\'{y}}, Daniel Kr{\'{a}}l', Jan Obdrz{\'{a}}lek, Jarett Schwartz, Jakub Teska
Automata, 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.
bib