2nd Moscow-Vienna Workshop on Logic and Computation
Event name
2nd Moscow-Vienna Workshop on Logic and Computation
Event type
Event for scientific audience
Start date
26-04-2002
Location
Moscow, Russia
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Beckmann, Arnold | Bounded arithmetic and dynamic ordinals | Präsentation Presentation | 2002 | |
| 2 | Preining, Norbert | Characterization of decidability of Gödel logics | Präsentation Presentation | 2002 | |
| 3 | Baaz, Matthias | Fast cut-elimination | Präsentation Presentation | 2002 | |
| 4 | Ciabattoni, Agata | Hypersequent calculi for Gödel logics - a survey | Präsentation Presentation | 2002 |