Conference: Syntax meets Semantics (SYSMICS) 2019
Event name
Conference: Syntax meets Semantics (SYSMICS) 2019
Event type
Event for scientific audience
Start date
21-01-2019
End date
25-01-2019
Location
Amsterdam
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Lellmann, Björn | Countermodels for Non-normal Modal Logics via Nested Sequents | Präsentation Presentation | 2019 | |
| 2 | Ciabattoni, Agata ; Genco, Francesco ; Aschieri, Federico | Intermediate Logic Proofs as Concurrent Programs | Präsentation Presentation | 2019 |