Collegium Logicum 2007
Event name
Collegium Logicum 2007
Event type
Event for scientific audience
Start date
24-10-2007
End date
25-10-2007
Location
Wien, Austria
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Baaz, Matthias | Decidability problems of partial proof descriptions | Präsentation Presentation | 2007 | |
| 2 | Terwijn, Sebastiaan A. | Embeddings into the Medvedev lattice | Präsentation Presentation | 2007 | |
| 3 | Preining, Norbert | Gödel logics over hyper reals | Präsentation Presentation | 2007 | |
| 4 | Ciabattoni, Agata | Uniform standard completeness proofs | Präsentation Presentation | 2007 |