The 27th International Workshop, WoLLIC 2021
Event name
The 27th International Workshop, WoLLIC 2021
Start date
05-10-2021
End date
08-10-2021
Location
online international
Country
Event format Veranstaltungsformat
Online
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Freiman, Robert ; Silva, Paula Alexandra | Games for Hybrid Logic | Konferenzbeitrag Inproceedings  | 2021 | |
| 2 | Pavlova, Alexandra ; Silva, Paula Alexandra | Provability Games for Non-classical Logics | Konferenzbeitrag Inproceedings | 2021 | |
| 3 | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Uniform Interpolation via Nested Sequents | Konferenzbeitrag Inproceedings | 2021 |