Talks and Poster Presentations (with Proceedings-Entry):
"Extended Kripke lemma and decidability for hypersequent substructural logics";
Talk: LICS 2020,
- 2020-07-11; in: "Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '20)",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.