Logic and Applications (LAP 2021) - Formal Reasoning and Semantics (FORMALS 2021)

Event name
Logic and Applications (LAP 2021) - Formal Reasoning and Semantics (FORMALS 2021)
 
Event type
Event for scientific audience
 
Start date
20-09-2021
End date
24-09-2021
 
Location
Dubrovnik and online
Country
Croatia
 
Event format Veranstaltungsformat
Hybrid

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias Analytic calculi for quantifier macrosPräsentation Presentation2021