[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Ciabattoni:
"Power andl limits of structural rules";
Talk: LIX Colloquium 2013: Theory and Application of Formal Proofs, Paris, France (invited); 2013-11-05 - 2013-11-07.

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