Summer School on Syntax meets Semantics - Methods, Interactions, and Connections in Substructural Logics (SYSMICS)

Event name
Summer School on Syntax meets Semantics - Methods, Interactions, and Connections in Substructural Logics (SYSMICS)
 
Event type
Event for scientific audience
 
Start date
22-08-2018
End date
26-08-2018
 
Location
Les Diablerets, Switzerland
Country
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura First-Order Interpolation in the Grey Area of ProofsPr√§sentation Presentation2018