People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
Bonnet, Édouard
,
Jan Niclas Dreier
,
Gajarský, Jakub
,
Kreutzer, Stephan
,
Mählmann, Nikolas
,
Simon, Pierre
,
Toruńczyk, Szymon
January 2022
PDF
Cite
Type
Conference Paper
Jan Niclas Dreier
Jan Niclas Dreier is a Postdoctoral Researcher at the Algorithms and Complexity Group.
Cite
×