5th Workshop on Structural Proof Theory
Event name
5th Workshop on Structural Proof Theory
Event type
Event for scientific audience
Start date
10-11-2005
End date
11-11-2005
Location
Bern, Switzerland
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ciabattoni, Agata | Towards a semantic characterization of cut-elimination | Präsentation Presentation | 2005 |