Special Session on Proof Theory at the Logic Colloquium 2015
Event name
Special Session on Proof Theory at the Logic Colloquium 2015
Event type
Event for scientific audience
Start date
03-08-2015
End date
08-08-2015
Location
Helsinki, Finnland
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 | Kuznets, Roman | Proof-theoretic Approach to Craig Interpolation | Präsentation Presentation | 2015 |