People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Jan Obdrz\'ék
Recent Publications
FO Model Checking of Interval Graphs
2016
Cite
×