Daniel Kr\' Al

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