Second Florence-Vienna Workshop on Logic and Computation
Event name
Second Florence-Vienna Workshop on Logic and Computation
Event type
Event for scientific audience
Start date
02-11-2005
End date
05-11-2005
Location
Florence, Italy
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Leitsch, Alexander | CERES in many-valued logics | Präsentation Presentation | 2005 | |
| 2 | Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik | Cut-Elimination: Experiments with CERES | Präsentation Presentation | 2005 | |
| 3 | Fermüller, Christian | From classical to many-valued reasoning via dialogue games | Präsentation Presentation | 2005 |