Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk. Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. In Christel Baier, Dana Fisman, editors, LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022. ACM, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.