Model Checking on Interpretations of Classes of Bounded Local Cliquewidth.
douard Bonnet, Jan Dreier, Jakub Gajarsk, Stephan Kreutzer, Nikolas Mhlmann, Pierre Simon, Szymon Torunczyk
Browse the full LICS paper archive.
douard Bonnet, Jan Dreier, Jakub Gajarsk, Stephan Kreutzer, Nikolas Mhlmann, Pierre Simon, Szymon Torunczyk
Browse the full LICS paper archive.