[Back]


Talks and Poster Presentations (without Proceedings-Entry):

L. Spendier:
"Automated support for the investigation of paraconsistent and other logics";
Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16.


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