Workshop on Logic and Computation
Event name
Workshop on Logic and Computation
Event type
Event for scientific audience
Start date
08-02-2011
End date
09-02-2011
Location
Kanazawa, Japan
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fermüller, Christian | Parallel Dialogue Games and Hypersequents for Intermediate Logics | Präsentation Presentation | 2011 | |
| 2 | Ciabattoni, Agata | Power and Limits of Analytic Calculi: Towards a Systematic Proof Theory for Nonclassical Logics | Präsentation Presentation | 2011 | |
| 3 | Ciabattoni, Agata | Towards a semantic characterization of cut-elimination | Präsentation Presentation | 2005 |