[Back]


Talks and Poster Presentations (without Proceedings-Entry):
R. Ramanayake:
"Bunched Hypersequent Calculi for Distributive Substructural Logics and Extensions of Bunched Implication Logic";
Talk: TACL 2017, Prag; 2017-06-29 - 2017-06-30.

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