Book title Buchtitel
Logica 2023. Abstracts
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 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