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.