[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Ciabattoni:
"Systematic (and algebraic) proof theory for substructural logics";
Talk: International Workshop PCC-Proof, Computation, Complexity, Bern (invited); 2010-06-18 - 2010-06-19.

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