[Back]


Talks and Poster Presentations (without Proceedings-Entry):

R. Ramanayake:
"Proof-theoretic methods in non-classical logics: decidability of BI";
Keynote Lecture: Non-classical Logics and Their Applications:The 8th International Workshop on Logic and Cognition (WOLC 2016), Guangzhou (invited); 2016-12-05 - 2016-12-09.


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