Moscow-Vienna Workshop on Logic and Computation 2007
Event name
Moscow-Vienna Workshop on Logic and Computation 2007
Event type
Event for scientific audience
Start date
02-07-2007
Location
TU Wien, Austria
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-5 of 5 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Baaz, Matthias | Approximations of Hilbert calculi | Präsentation Presentation | 2007 | |
| 2 | Preining, Norbert | Completeness of hypersequent calculus for some first-order Gödel | Präsentation Presentation | 2007 | |
| 3 | Preining, Norbert | Completeness of y Hypersequent Calculus for some first-order Gödel Logics with delta | Präsentation Presentation | 2007 | |
| 4 | Ciabattoni, Agata | Density elimination | Präsentation Presentation | 2007 | |
| 5 | Terwijn, Sebastiaan A. | On the structure of the Medvedev lattice | Präsentation Presentation | 2007 |