32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland
Event name
32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland
Event type
Event for scientific audience
Start date
20-06-2017
End date
23-06-2017
Location
Reykjavik
Country
Solo Exhibition
Solo Exhibition
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 ; Genco, Francesco | Gödel Logic: From Natural Deduction to Parallel Computation | Konferenzbeitrag Inproceedings | 2017 | |
| 2 | Pinsker, Michael | The two dichotomy conjectures for in nite domain CSPs are equivalent | Präsentation Presentation | 2017 |