People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Gajarský, Jakub
Recent Publications
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
2022
Treelike Decompositions for Transductions of Sparse Graphs
2022
Cite
×