LICS 2020
Event name
LICS 2020
Start date
08-07-2020
End date
11-07-2020
Location
Saarbrücken, Germany
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ramanayake, Revantha | Extended Kripke lemma and decidability for hypersequent substructural logics | Konferenzbeitrag Inproceedings | 2020 | |
| 2 | Fichte, Johannes K. ; Hecher, Markus ; Pfandler, Andreas | Lower Bounds for QBFs of Bounded Treewidth | Konferenzbeitrag Inproceedings  | 2020 |