Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Book title Buchtitel
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
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 |