Contributions to Proceedings:
B. Lellmann et al.:
"A uniform framework for substructural logics with modalities";
in: "LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 7-12th May 2017",
46;
T. Eiter et al. (ed.);
EasyChair EPiC Series in Computing,
2017,
ISSN: 2398-7340,
435
- 455.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_265313.pdf
Created from the Publication Database of the Vienna University of Technology.