[Back]


Talks and Poster Presentations (without Proceedings-Entry):
S. Hetzl, A. Leitsch, D. Weller:
"CERES in higher-order-logic";
Talk: Workshop on Classical Logic and Computation (CL&C'10), Brünn; 2010-08-22.

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