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
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kovacs, Laura | First-Order Interpolation in the Grey Area of Proofs | Präsentation Presentation | 2018 |