[Back]


Talks and Poster Presentations (without Proceedings-Entry):

A. Leitsch:
"CERES: Cut-elimination by Resolution";
Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris (invited); 2004-12-13 - 2004-12-14.


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