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:
Date Issued:  [2000 TO 2024]

Results 1-3 of 3 (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
2Mottet, Antoine ; Pinsker, Michael Smooth approximations and CSPs over finitely bounded homogeneous structuresInproceedings Konferenzbeitrag4-Aug-2022
3Dreier, Jan ; Gajarský, Jakub ; Kiefer, Sandra ; Pilipczuk, Michał ; Toruńczyk, Szymon Treelike Decompositions for Transductions of Sparse GraphsInproceedings Konferenzbeitrag 4-Aug-2022