People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Jakub Gajarský and Petr Hlinený and Jan Obdrzálek and Sebastian Ordyniak
Recent Publications
Faster Existential FO Model Checking on Posets
2014
Cite
×