[Back]


Talks and Poster Presentations (without Proceedings-Entry):
S. Hetzl, A. Leitsch:
"Abstracting from the Propositional Structure of First-Order Proofs";
Talk: Paris-Vienna Workshop 2005, Paris; 2005-12-19.

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