[Back]


Talks and Poster Presentations (without Proceedings-Entry):
M. Baaz, S. Hetzl, D. Weller:
"On the complexity of proof deskolemization";
Talk: Collegium Locicum 2010: Proofs and Structures, Paris; 2010-11-08 - 2010-11-10.

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