[Back]


Talks and Poster Presentations (without Proceedings-Entry):

A. Leitsch:
"Computational Analysis of Proofs";
Talk: European Summer School in Logic Language and Information 2005, Edinburgh, U.K.; 2005-08-13 - 2005-08-20.


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