LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 7-12th May 2017
Book title Buchtitel
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 7-12th May 2017
Editor Herausgeber_in
Publisher Herausgeber
EasyChair EPiC Series in Computing
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Lellmann, Björn ; Eiter, Thomas | A uniform framework for substructural logics with modalities | Konferenzbeitrag Inproceedings  | 2017 |