[Back]


Talks and Poster Presentations (without Proceedings-Entry):
R. Ramanayake:
"Investigating the decidability of transitive modal logics via labelled calculi";
Talk: Kick of Meeting TICAMORE, Wien; 2017-03-15.

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