[Back]


Talks and Poster Presentations (without Proceedings-Entry):

B. Lellmann:
"The Framework of Linear Nested Sequents";
Talk: Theory and Logic Group Seminar, Wien; 2015-09-04.


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