Talks and Poster Presentations (with Proceedings-Entry):

R. Ramanayake:
"Extended Kripke lemma and decidability for hypersequent substructural logics";
Talk: LICS 2020, Saarbrücken, Germany; 2020-07-08 - 2020-07-11; in: "Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '20)", (2020), ISBN: 978-1-4503-7104-9; 795 - 806.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

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