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)
http://dx.doi.org/10.1145/3373718.3394802
Created from the Publication Database of the Vienna University of Technology.