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:

Created from the Publication Database of the Vienna University of Technology.