[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Leitsch:
"CERES: Cut-Elimination by Resolution";
Talk: Eingeladener Vortrag an Universitaet, Universitaet Utrecht, Niederlande; 2004-09-10.

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