[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Leitsch:
"Methods of Cut-Elimination";
Talk: Ninth International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia; 2013-09-30 - 2013-10-04.

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