Moscow-Vienna Workshop on Logic and Computation 2009
Event name
Moscow-Vienna Workshop on Logic and Computation 2009
Event type
Event for scientific audience
Start date
29-06-2009
End date
02-07-2009
Location
Wien
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 | Salzer, Gernot | Description Problems over Finite Totally-Ordered Domains | Präsentation Presentation | 2009 | |
| 2 | Leitsch, Alexander | Fast Cut-Elimination by CERES | Präsentation Presentation | 2009 | |
| 3 | Baaz, Matthias | Gödel logics: the monadic class | Präsentation Presentation | 2009 | |
| 4 | Jenei, Sándor | On the geometry of residuated lattices with applications | Präsentation Presentation | 2009 | |
| 5 | Ortiz de la Fuente, M.Magdalena | Querying Description Logic Knowledge Bases: automata-theoretic techniques | Präsentation Presentation | 2009 |