Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
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
Full Publication List »
bib
×