Skip to content

Model Checking on Interpretations of Classes of Bounded Local Cliquewidth.

douard Bonnet, Jan Dreier, Jakub Gajarsk, Stephan Kreutzer, Nikolas Mhlmann, Pierre Simon, Szymon Torunczyk

VenueA*LICS
Year2022
ProceedingsLICS

Browse the full LICS paper archive.