[Back]


Talks and Poster Presentations (without Proceedings-Entry):

A. Ciabattoni:
"(Algebraic) Proof Theory for Substructural Logics and Applications";
Talk: 87. Arbeitstagung Allgemeine Algebra (AAA87), Linz (invited); 2014-02-07 - 2014-02-09.


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