[Back]


Talks and Poster Presentations (without Proceedings-Entry):

R. Kuznets:
"Interpolation Method for Multicomponent Sequent Calculi";
Talk: Seminar "Logic and Theoretical Computer Science", Universität Bern, Bern, Schweiz (invited); 2015-10-29.


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