LNCS 7180, 21st International Proceedings of 21st Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning
Book title Buchtitel
LNCS 7180, 21st International Proceedings of 21st Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning
Editor Herausgeber_in
Publisher Herausgeber
Springer LNCS
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ramanayake, Revantha ; Ciabattoni, Agata ; Eiter, Thomas | Bunched Hypersequent Calculi for Distributive Substructural Logics | Konferenzbeitrag Inproceedings  | 2017 |