[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Leitsch:
"Cut-Elimination by Resolution";
Talk: First Vienna-Florence Workshop on Logic and Computation, Florence (invited); 2004-01-27 - 2004-01-31.

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