2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Event name
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
 
Event type
Event for scientific audience
 
Start date
26-06-2023
End date
29-06-2023
 
Location
Boston, MA
Country
United States
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-3 of 3 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Lang, Timo Achim ; Ramanayake, Don Revantha Shiyan Cut-Restriction: From Cuts to Analytic CutsInproceedings Konferenzbeitrag 2023
2Aminof-2023-Stochastic Best-Effort Strategies for Borel Goals-am.pdf.jpgAminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian Stochastic Best-Effort Strategies for Borel GoalsInproceedings Konferenzbeitrag 2023
3Barto, Libor ; Bodor, Bertalan ; Kozik, Marcin ; Mottet, Antoine ; Pinsker, Michael Symmetries of Graphs and Structures that Fail to Interpret a Finite ThingInproceedings Konferenzbeitrag 14-Jul-2023