Logic Colloquium 2013
Event name
Logic Colloquium 2013
Event type
Event for scientific audience
Start date
22-07-2013
End date
27-07-2013
Location
Evora, Portugal
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eberhard, Sebastian | Characterising polytime and exptime using truth-induction | Präsentation Presentation | 2013 | |
| 2 | Baaz, Matthias ; Bou, Felix ; Preining, Norbert | Characterization of decidable monadic Gödel logics: validity and satifaiability | Präsentation Presentation | 2013 | |
| 3 | Hetzl, Stefan | Proofs and grammars | Präsentation Presentation | 2013 |