Talks and Poster Presentations (without Proceedings-Entry):
B. Lellmann:
"Nested Sequents: Intermediate Logics and Neighbourhoods";
Talk: Theory and Logic Group Seminar,
Wien;
2018-10-10.
Created from the Publication Database of the Vienna University of Technology.