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.