Austrian Workshop on Logic in Computer Science
Event name
Austrian Workshop on Logic in Computer Science
Event type
Event for scientific audience
Start date
26-01-2020
End date
29-01-2020
Location
Turracher Höhe
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Woracek, Harald | Proper Semirings and Proper Convex Functors | Präsentation Presentation | 2020 | |
| 2 | Eiter, Thomas ; Kiesel, Rafael Peter David | Weighted LARS for Quantitative Stream Reasoning | Präsentation Presentation | 2020 |