LICS 2023: Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science

Event name
LICS 2023: Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science
 
Event type
Event for scientific audience
 
Start date
26-06-2023
End date
29-06-2023
 
Location
Boston, MA
Country
United States
 
Organizing institution Veranstaltende Institution
Boston University
Event format Veranstaltungsformat
Hybrid

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Girlando-2023-Intuitionistic S4 is decidable-am.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Intuitionistic S4 is decidableInproceedings Konferenzbeitrag 2023