Logic Colloquium 2016
Event name
Logic Colloquium 2016
Event type
Event for scientific audience
Start date
01-08-2016
End date
06-08-2016
Location
Leeds. GB
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | San Mauro, Luca Francesco | Complexity of Relations via Computable Reducibility | Präsentation Presentation | 2016 | |
| 2 | Kompatscher, Michael | Constraint satisfaction problems over the random poset | Präsentation Presentation | 2016 | |
| 3 | Rossegger, Dino | Enumerable Functors | Präsentation Presentation | 2016 | |
| 4 | Afshari, Bahareh | Structural representation of Herbrand's theorem | Präsentation Presentation | 2016 |