2nd Insternational Workshop on Analytic Proof Systems (im Rahmen von LPAR2006)
Event name
2nd Insternational Workshop on Analytic Proof Systems (im Rahmen von LPAR2006)
Event type
Event for scientific audience
Start date
13-11-2006
End date
17-11-2006
Location
Phnom Penh, Cambodia
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Baaz, Matthias | Fast cut-elimination for intuitionistic logic with disjunction free prenex cuts | Präsentation Presentation | 2006 | |
| 2 | Ciabattoni, Agata | Proof theory of fuzzy logics based on t-norms - an overview | Präsentation Presentation | 2006 |