Talks and Poster Presentations (with Proceedings-Entry):

A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo:
"A Clausal Approach to Proof Analysis in Second-Order Logic";
Talk: Symposium on Logical Foundations of Computer Science (LFCS 2009), Deerfield Beach, FL, USA; 2009-01-03 - 2009-01-06; in: "Logical Foundations of Computer Science", A. Nerode, S. Artemov (ed.); Springer, LNCS, 5407 (2009), ISBN: 3-540-92686-0; 214 - 229.

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