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:

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