Talks and Poster Presentations (without Proceedings-Entry):
A. Leitsch:
"CERES in higher-order-logic";
Talk: Collegium Locicum 2010: Proofs and Structures,
Paris (invited);
2010-11-08
- 2010-11-10.
Created from the Publication Database of the Vienna University of Technology.