Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

Book title Buchtitel
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
 
ISBN
978-1-4503-9351-5
 
Publisher Herausgeber
Association for Computing Machinery, Inc.
 

Publications Publikationen

Filter:
Author:  Toruńczyk, Szymon

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub ; Kreutzer, Stephan ; Mählmann, Nikolas ; Simon, Pierre ; Toruńczyk, Szymon Model Checking on Interpretations of Classes of Bounded Local CliquewidthInproceedings Konferenzbeitrag 4-Aug-2022
2Dreier, Jan ; Gajarský, Jakub ; Kiefer, Sandra ; Pilipczuk, Michał ; Toruńczyk, Szymon Treelike Decompositions for Transductions of Sparse GraphsInproceedings Konferenzbeitrag 4-Aug-2022