Collegium Logicum 2012: Structural Proof Theory
Event name
Collegium Logicum 2012: Structural Proof Theory
Event type
Event for scientific audience
Start date
15-11-2012
End date
16-11-2012
Location
Paris, France
Country
Event format Veranstaltungsformat
On Site
Results 1-5 of 5 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Spendier, Lara | Automated support for the investigation of paraconsistent and other logics | Präsentation Presentation | 2012 | |
| 2 | Leitsch, Alexander | CERES for First-Order Schemata | Präsentation Presentation | 2012 | |
| 3 | Weller, Daniel | Deskolemization, equality and logical complexity | Präsentation Presentation | 2012 | |
| 4 | Ramanayake, Revantha | Labelled tree sequents, tree hypersequents and nested (deep) sequents | Präsentation Presentation | 2012 | |
| 5 | Baaz, Matthias | On the limits of analyticity | Präsentation Presentation | 2012 |