29th European Summer School in Logic, Language, and Information (ESSLLI 2017)
Event name
29th European Summer School in Logic, Language, and Information (ESSLLI 2017)
Event type
Event for scientific audience
Start date
17-07-2017
End date
28-07-2017
Location
Toulouse, Frankreich
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kuznets, Roman ; Strassburger, Lutz | Efficient Proof Systems for Modal Logics | Präsentation Presentation | 2017 |