Substructural logics: semantics, proof theory, and applications, SYSMICS 2018

Event name
Substructural logics: semantics, proof theory, and applications, SYSMICS 2018
 
Event type
Event for scientific audience
 
Start date
26-02-2018
End date
28-02-2018
 
Location
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias Cut-elimination for Intuitionistic LogicPräsentation Presentation2018
2Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Logic-Based Concurrent CalculiPräsentation Presentation2018