[Back]


Talks and Poster Presentations (without Proceedings-Entry):

R. Ramanayake:
"Extended Kripke lemma and decidability for hypersequent substructural logics";
Talk: Sixth TICAMORE MEETING, *Online*/Marseille, Marseille; 2020-10-05.


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