[Back]


Talks and Poster Presentations (without Proceedings-Entry):
B. Lellmann, R. Ramanayake:
"General methods in proof theory for modal and substructural logics";
Talk: TABLEAUX 2017, Brasilia; 2017-09-24.

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