25th EACSL Annual Conference on Computer Science Logic, CSL 2016
Event name
25th EACSL Annual Conference on Computer Science Logic, CSL 2016
Start date
29-08-2016
End date
01-09-2016
Location
Marseille
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ciabattoni, Agata | Analytic Calculi for Non-Classical Logics: Theory and Applications | Konferenzbeitrag Inproceedings | 2016 | |
| 2 | Kotek, Tomer ; Veith, Helmut ; Zuleger, Florian | Monadic Second Order Finite Satisfiability and Unbounded Tree-Width | Konferenzbeitrag Inproceedings  | 2016 |