[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Leitsch:
"Towards algorithmic cut-introduction";
Talk: 2nd Workshop of the Joint Project "Structural and Computational Proof Theory", Innsbruck; 2011-10-26 - 2011-10-28.

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