[Back]


Talks and Poster Presentations (without Proceedings-Entry):

A. Ciabattoni:
"Nonclassical Proofs: theory, applications, and tools";
Talk: 2nd Workshop of the Joint Project "Structural and Computational Proof Theory", Innsbruck; 2011-10-26 - 2011-10-28.


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