[Back]


Talks and Poster Presentations (without Proceedings-Entry):
M. Baaz, S. Hetzl:
"Cut-elimination";
Talk: Third Vienna Tbilisi Summer School in Logic and Language, Tbilisi, Georgia (invited); 2008-09-24 - 2008-09-28.

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