[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Leitsch:
"Fast Cut-Elimination by CERES";
Talk: Moscow-Vienna Workshop on Logic and Computation 2009, Wien (invited); 2009-06-29 - 2009-07-02.

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