Talks and Poster Presentations (without Proceedings-Entry):
M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"Cut-Elimination: Experiments with CERES";
Talk: Second Florence-Vienna Workshop on Logic and Computation,
Florenz;
2005-11-02
- 2005-11-05.