Model Checking on Interpretations of Classes of Bounded Local Cliquewidth - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

É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]

This author has not been identified. Look up 'Édouard Bonnet' in GoogleThis author has not been identified. Look up 'Jan Dreier' in GoogleThis author has not been identified. Look up 'Jakub Gajarský' in GoogleThis author has not been identified. Look up 'Stephan Kreutzer' in GoogleThis author has not been identified. Look up 'Nikolas Mählmann' in GoogleThis author has not been identified. Look up 'Pierre Simon' in GoogleThis author has not been identified. Look up 'Szymon Torunczyk' in Google

runs on WebDSL