[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Ciabattoni:
"Non classical proofs: Theory, applications and tools";
Talk: Prague Seminar on Substructural Logics, Prag, Czech Republic; 2014-03-28 - 2014-03-29.

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