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

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
 
ISBN
9798350335873
 
Publisher Herausgeber
IEEE
 
DOI
10.1109/LICS56636.2023.10175826
 

Publications Publikationen

Results 1-6 of 6 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Lang, Timo Achim ; Ramanayake, Don Revantha Shiyan Cut-Restriction: From Cuts to Analytic CutsInproceedings Konferenzbeitrag 2023
2Girlando-2023-Intuitionistic S4 is decidable-am.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Intuitionistic S4 is decidableInproceedings Konferenzbeitrag 2023
3Dreier, Jan ; Tucker-Foltz, Jamie Pseudorandom Finite ModelsInproceedings Konferenzbeitrag 14-Jul-2023
4Aminof-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
5Fichte, Johannes K. ; Ganian, Robert ; Hecher, Markus ; Slivovsky, Friedrich ; Ordyniak, Sebastian Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBFInproceedings Konferenzbeitrag 2023
6Barto, 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