[Back]


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

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