Contributions to Proceedings:
R. Ramanayake, A. Ciabattoni:
"Bunched Hypersequent Calculi for Distributive Substructural Logics";
in: "LNCS 7180, 21st International Proceedings of 21st Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning",
7180;
T. Eiter et al. (ed.);
issued by: Springer;
Springer LNCS,
2017,
ISBN: 978-3642287169,
417
- 434.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_263709.pdf
Created from the Publication Database of the Vienna University of Technology.