Ninth International Tbilisi Summer School in Logic and Language
Event name
Ninth International Tbilisi Summer School in Logic and Language
Event type
Event for scientific audience
Start date
30-09-2013
End date
04-10-2013
Location
Tbilisi, Georgia
Country
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Hetzl, Stefan | Automata and formal language theory | Präsentation Presentation | 2013 | |
| 2 | Ramanayake, Revantha | Introduction to the display calculus | Präsentation Presentation | 2013 | |
| 3 | Leitsch, Alexander | Methods of Cut-Elimination | Präsentation Presentation | 2013 | |
| 4 | Baaz, Matthias | Towards a proof theory of analogical reasoning | Präsentation Presentation | 2013 |