Event name
Logica 2023
 
Event type
Event for scientific audience
 
Start date
18-06-2023
End date
22-06-2023
 
Location
Teplá
Country
Czech Republic
 
Organizing institution Veranstaltende Institution
Academy of Sciences of the Czech Republic
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Girlando-2023-Decidability of intuitionistic S4-vor.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Decidability of intuitionistic S4Inproceedings Konferenzbeitrag 2023