Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

View Statistics Email Alert RSS Feed

Description

Event name
Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
 
Event type
Event for scientific audience
 
Start date
02-08-2022
End date
05-08-2022
 
Location
Haifa
Country
Israel
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Author:  Bonnet, Édouard

Results 1-1 of 1 (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