20th Conference on Computer Science Logic, "Epsilon Calculus and Constructivity" (CSL 2011)
Event name
20th Conference on Computer Science Logic, "Epsilon Calculus and Constructivity" (CSL 2011)
Event type
Event for scientific audience
Start date
11-09-2011
End date
15-09-2011
Location
Bergen, Norway
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Weller, Daniel | Skolemization, cut-free proof and complexity | Präsentation Presentation | 2011 | |
| 2 | Baaz, Matthias | The potential of the epsilon calculus | Präsentation Presentation | 2011 |